A Procedure to Prove Geometrical Statements

Giuseppa Carrà Ferro, Giovanni Gallo. A Procedure to Prove Geometrical Statements. In Llorenç Huguet i Rotger, Alain Poli, editors, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 5th International Conference, AAECC-5, Menorca, Spain, June 15-19, 1987, Proceedings. Volume 356 of Lecture Notes in Computer Science, pages 141-150, Springer, 1987.

Authors

Giuseppa Carrà Ferro

This author has not been identified. Look up 'Giuseppa Carrà Ferro' in Google

Giovanni Gallo

This author has not been identified. Look up 'Giovanni Gallo' in Google