MACHINE PROOFS OF GEOMETRY THEOREMS

• 1 September 1992
• book chapter
• Published by World Scientific Pub Co Pte Ltd in Parallel Algorithms
• Vol. 1, 91-115
• https://doi.org/10.1142/9789814355858_0003

Abstract