Mechanical geometry theorem proving
Mechanical geometry theorem proving
Gro¨bner bases: a computational approach to commutative algebra
Gro¨bner bases: a computational approach to commutative algebra
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Automatic Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
A dynamic-symbolic interface for geometric theorem discovery
Computers & Education
A software tool for the investigation of plane loci
Mathematics and Computers in Simulation
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 maple package for automatic theorem proving and discovery in 3D-geometry
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Hi-index | 0.00 |
3D-Loci Discovery (3D-LD), a web-based system for automatic discovery of geometric loci in the space, is described. Its basic engine is based on the Groebner basis method. 3D-LD can be used to easily (re)discover many loci-related geometric surfaces, and it has allowed us to generalize a recent extension of Simson-Steiner's theorems due to Guzmán. Being accessible through the web, 3D-LD is platform independent, and can be linked with other graphical tools. It uses the symbolic capabilities of Mathematica and CoCoA, by means of the recently distributed application webMathematica, a Java servlet technology allowing the generation of dynamic web content. A simple description of 3D-LD and some examples of use are available at http://rosalia.uvigo.es/sdge/web/3D/.