Automated production of traditional proofs in solid geometry

This publication has 10 references indexed in Scilit:

• Automated production of traditional proofs for constructive geometry theorems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Geometry theorem proving in vector spaces by means of Gröbner bases
  Published by Association for Computing Machinery (ACM) ,1993
• Automated geometry theorem proving by vector calculation
  Published by Association for Computing Machinery (ACM) ,1993
• MACHINE PROOFS OF GEOMETRY THEOREMS
  Parallel Algorithms, 1992
• Abstract Planning and Perceptual Chunks: Elements of Expertise in Geometry
  Cognitive Science, 1990
• Geometry theorem proving using Hilbert's Nullstellensatz
  Published by Association for Computing Machinery (ACM) ,1986
• Proving Elementary Geometry Theorems Using Wu’s Algorithm
  Published by American Mathematical Society (AMS) ,1984
• TOWARD MECHANIZATION OF GEOMETRY — SOME COMMENTS ON HILBERT'S GRUNDLAGEN DER GEOMETRIE”
  Acta Mathematica Scientia, 1982
• Problems and Experiments for and with Automated Theorem-Proving Programs
  IEEE Transactions on Computers, 1976
• Empirical explorations of the geometry theorem machine
  Published by Association for Computing Machinery (ACM) ,1960