A Case of Automatic Theorem Proving in Euclidean Geometry: the Maclane 83Theorem

• Authors:

• Pasqualina Conti;Carlo Traverso

• Affiliations:

• -;-

• Venue:
• AAECC-11 Proceedings of the 11th International Symposium on Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
• Year:
• 1995