Empirical Explorations of the Geometry-Theorem Proving Machine

• 1 January 1983
• book chapter
• Published by Springer Nature
• p. 140-150
• https://doi.org/10.1007/978-3-642-81952-0_10

Abstract

Keywords

• GEOMETRY THEOREM PROVING
• EMPIRICAL EXPLORATIONS
• THEOREM PROVING MACHINE