An introduction to Wu's method for mechanical theorem proving in geometry

• 1 September 1988
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 4  (3)
• https://doi.org/10.1007/bf00244942

Abstract

Keywords

• GEOMETRY THEOREM PROVING
• PSEUDO DIVISION
• RITT'S PRINCIPLE
• IRREDUCIBLE ASCENDING CHAIN
• GENERIC POINT
• FEUERBACH'S THEOREM
• THBAULT'S CONJECTURE