A method for the mechanical derivation of formulas in elementary geometry

• 1 September 1987
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 3  (3) , 291-299
• https://doi.org/10.1007/bf00243793

Abstract

Keywords

• ELEMENTARY GEOMETRY
• MECHANICAL DERIVATION
• EXAMPLES TO ILLUSTRATE
• GEOMETRY A METHOD
• ILLUSTRATE ITS APPLICATIONS
• FORMULAS IN ELEMENTARY