Using Gröbner bases to reason about geometry problems
Journal of Symbolic Computation
A method for the mechanical derivation of formulas in elementary geometry
Journal of Automated Reasoning
Mechanical geometry theorem proving
Mechanical geometry theorem proving
Methods for mechanical geometry formula deriving
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Wu's method and its application to perspective viewing
Geometric reasoning
Journal of Symbolic Computation
A new algorithm for discussing Gröbner bases with parameters
Journal of Symbolic Computation
A New Approach for Automatic Theorem Proving in Real Geometry
Journal of Automated Reasoning
Automatic Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
A generic projection operator for partial cylindrical algebraic decomposition
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
Computational Commutative Algebra 1
Computational Commutative Algebra 1
On Protocols for the Automated Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
Proving geometric theorems by partitioned-parametric gröbner bases
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Towards solving the dynamic geometry bottleneck via a symbolic approach
ADG'04 Proceedings of the 5th international conference on Automated Deduction in Geometry
Minimal canonical comprehensive Gröbner systems
Journal of Symbolic Computation
On Protocols for the Automated Discovery of Theorems in Elementary Geometry
Journal of Automated Reasoning
A new algorithm for computing comprehensive Gröbner systems
Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation
Gröbner bases for polynomial systems with parameters
Journal of Symbolic Computation
Computing comprehensive Gröbner systems and comprehensive Gröbner bases simultaneously
Proceedings of the 36th international symposium on Symbolic and algebraic computation
Software for computing the Gröbner cover of a parametric ideal
ACM Communications in Computer Algebra
Journal of Symbolic Computation
An efficient method for computing comprehensive Gröbner bases
Journal of Symbolic Computation
Automatic deduction in (dynamic) geometry: Loci computation
Computational Geometry: Theory and Applications
Hi-index | 0.00 |
The main proposal in this paper is the merging of two techniques that have been recently developed. On the one hand, we consider a new approach for computing some specializable Gröbner basis, the so called Minimal Canonical Comprehensive Gröbner Systems (MCCGS) that is -roughly speaking- a computational procedure yielding "good" bases for ideals of polynomials over a field, depending on several parameters, that specialize "well", for instance, regarding the number of solutions for the given ideal, for different values of the parameters. The second ingredient is related to automatic theorem discovery in elementary geometry. Automatic discovery aims to obtain complementary (equality and inequality type) hypotheses for a (generally false) geometric statement to become true. The paper shows how to use MCCGS for automatic discovering of theorems and gives relevant examples.