Next: About this document ...
Up: Sobre demostración automática de
Previous: Código
- Chou
- Shang-Ching Chou, Mechanical Geometry Theorem
Proving, D. Reidel Publishing company, 1988.
- Roanes
- Eugenio Roanes Lozano Teoremas de
Pappus-Guldin (vía Geometría Sintética)Boletin de la Sociedad
Puid Adams, Bol. 7, pag. 41, 1985.
Francisco Blanco-Silva
2001-01-11