Mechanical geometry theorem proving
Mechanical geometry theorem proving
Wu's method and its application to perspective viewing
Geometric reasoning
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Automatic Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets
Selected Papers from the International Workshop on Automated Deduction in Geometry
Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, 3/e (Undergraduate Texts in Mathematics)
Interactive versus Symbolic Approaches to Plane Loci Generation in Dynamic Geometry Environments
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
A bridge between dynamic geometry and computer algebra
Mathematical and Computer Modelling: An International Journal
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
| Hi-index | 0.00 |
A method for determining loci without using a deep algebraic background is presented. It uses pseudodivision techniques (Wu's algorithm). The key idea is to make the hypothesis conditions depend on an indeterminate point, X. When forcing the thesis condition to be a consequence of hypothesis conditions, a new condition involving X appears. That condition leads to the locus. The method is applied to prove a new theorem: the generalization of Simson-Steiner Theorem to 3D.