Detecting truth, just on parts
DOI10.1007/s13163-018-0286-1zbMath1412.13003arXiv1802.05875OpenAlexW2796179124WikidataQ129085938 ScholiaQ129085938MaRDI QIDQ2425054
M. Pilar Vélez, Zoltán Kovács, Tomás Recio
Publication date: 26 June 2019
Published in: Revista Matemática Complutense (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1802.05875
Gröbner basisdynamic geometryzero divisorautomatic deduction in geometrytrue on componentstrue on partsautomatic geometry theorem provingfalse on parts
Symbolic computation and algebraic computation (68W30) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Ideals and multiplicative ideal theory in commutative rings (13A15) Software, source code, etc. for problems pertaining to geometry (51-04) Computational aspects in algebraic geometry (14Q99)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Automated theorem proving in GeoGebra: current achievements
- On the unavoidable uncertainty of truth in dynamic geometry proving
- On protocols for the automated discovery of theorems in elementary geometry
- Automated reducible geometric theorem proving and discovery by Gröbner basis method
- Automatic discovery of theorems in elementary geometry
- Automated reasoning tools in GeoGebra discovery
- Ideals, Varieties, and Algorithms
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems