Veinte años...  no es nada! 

 

Tango 

 

• 1987... 

 

Shang-Ching Chou:  

 

Mechanical Geometry Theorem Proving, Kluwer Academic Publishers, Dordrecht, 1987. 362 pp.   

ISBN 90-277-2650-7 

 

Image                                     Scholar Google 

 

 

• SELECTED TOPICS IN GEOMETRY WITH CLASSICAL VS. COMPUTER PROVING.  World Scientific Publishing Company 252pp Pub. date: Dec 2007ISBN 978-981-270-942-4981-270-942-8 Image 

by Pavel Pech (University of South Bohemia, Czech Republic)  

 

 

ADG 

 

http://www-calfor.lip6.fr/~wang/GRBib/Welcome.html 

 

• Doron Zeilberger, 2050...  

http://www.math.rutgers.edu/~zeilberg/PG/gt.html 

 

 

Image