+- HP Forums (https://www.hpmuseum.org/forum)
+-- Forum: Not HP Calculators (/forum-7.html)
+--- Forum: Not remotely HP Calculators (/forum-9.html)
+--- Thread: Is it possible to solve any Euclidean geometry problem using a computer or CAS? (/thread-6912.html)
Is it possible to solve any Euclidean geometry problem using a computer or CAS? - compsystems - 09-24-2016 02:05 AM
Paper
http://math.stackexchange.com/questions/31192/is-it-possible-to-solve-any-euclidean-geometry-problem-using-a-computer