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

zbMATH Keywords

Gröbner basisdynamic geometryzero divisorautomatic deduction in geometrytrue on componentstrue on partsautomatic geometry theorem provingfalse on parts

Mathematics Subject Classification ID

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

Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? ⋮ Automated detection of interesting properties in regular polygons ⋮ A mechanical geometer ⋮ Two almost-circles, and two real ones

Uses Software

• GeoGebra
• GitHub

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