Veinte años... no es nada!
• 1987...
Shang-Ching Chou:
Mechanical Geometry Theorem Proving, Kluwer Academic Publishers, Dordrecht, 1987. 362 pp.
ISBN 90-277-2650-7
• 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
by Pavel Pech (University of South Bohemia, Czech Republic)
• http://www-calfor.lip6.fr/~wang/GRBib/Welcome.html
• Doron Zeilberger, 2050...
http://www.math.rutgers.edu/~zeilberg/PG/gt.html