Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning

We describe a framework that combines deductive, numeric, and inductive reasoning to solve geometric problems. Applications include the generation of geometric models and animations, as well as problem solving in the context of intelligent tutoring systems.

[1]  R. Janssen,et al.  Trends in Computer Algebra , 1988, Lecture Notes in Computer Science.

[2]  Bruno Buchberger,et al.  Applications of Gro¨bner bases in non-linear computational geometry , 1988 .

[3]  Jennifer Widom,et al.  Database systems - the complete book (2. ed.) , 2009 .

[4]  Viktor Kuncak,et al.  Constraints as control , 2012, POPL '12.

[5]  Sumit Gulwani,et al.  Synthesizing geometry constructions , 2011, PLDI '11.

[6]  Bruno Buchberger,et al.  Applications of Gröbner Bases in Non-linear Computational Geometry , 1987, Trends in Computer Algebra.

[7]  Roland H. C. Yap,et al.  The CLP( R ) language and system , 1992, TOPL.

[8]  K. Kondo,et al.  Algebraic method for manipulation of dimensional relationships in geometric models , 1992, Comput. Aided Des..

[9]  Christoph M. Hoffmann,et al.  Geometric constraint solver , 1995, Comput. Aided Des..

[10]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[11]  Jiawei Hong,et al.  Proving by example and gap theorems , 1986, 27th Annual Symposium on Foundations of Computer Science (sfcs 1986).

[12]  B. Aldefeld.  Variation of geometrics based on a geometric-reasoning method , 1988 .

[13]  Greg Nelson,et al.  Juno, a constraint-based graphics system , 1985, SIGGRAPH.

[14]  Tom Schrijvers,et al.  Under Consideration for Publication in Theory and Practice of Logic Programming Swi-prolog , 2022 .

[15]  Wing-Kwong Wong,et al.  A dynamic geometry environment for learning theorem proving , 2005, Fifth IEEE International Conference on Advanced Learning Technologies (ICALT'05).

[16]  Lu Yang,et al.  The Parallel Numerical Method of Mechanical Theorem Proving , 1990, Theor. Comput. Sci..

[17]  Armando Solar-Lezama,et al.  Program synthesis by sketching , 2008 .

[18]  Sebastian Rudolph,et al.  Extending Decidable Existential Rules by Joining Acyclicity and Guardedness , 2011, IJCAI.

[19]  Jennifer Widom,et al.  Database Systems: The Complete Book , 2001 .