An introduction to automated discovery in geometry through symbolic computation

DOI10.1007/978-3-7091-0794-2_12MaRDI QIDQ2912124zbMATHOpenAlexFDO

Authors Tomas Recio, María P. Vélez

Publication date 14 September 2012

Published in Texts & Monographs in Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-7091-0794-2_12

zbMATH Keywords

automated discoveryelementary geometry

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Euclidean geometries (general) and generalizations (51M05)

Recommendations

• Automatic discovery of theorems in elementary geometry
• On protocols for the automated discovery of theorems in elementary geometry
• Towards an Automated Geometer
• Automated reasoning in geometry
• scientific article; zbMATH DE number 1912102

Cited in

(20)

• Development of automatic reasoning tools in GeoGebra
• scientific article; zbMATH DE number 1684357 (Why is no real title available?)
• scientific article; zbMATH DE number 2009901 (Why is no real title available?)
• Automated Discovery in Elementary Extrema Problems
• An efficient method of finding new symplectic schemes for Hamiltonian mechanics problems with the aid of parametric Gröbner bases
• Automated detection of interesting properties in regular polygons
• Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick
• Automated study of a regular trifolium
• Towards an Automated Geometer
• scientific article; zbMATH DE number 2247479 (Why is no real title available?)
• Towards the Automatic Discovery of Theorems in GeoGebra
• Automated reasoning in geometry
• Towards an automatic geometer
• Automated generation of geometric theorems from images of diagrams
• Computer discovered mathematics and applications in education
• scientific article; zbMATH DE number 5587879 (Why is no real title available?)
• On protocols for the automated discovery of theorems in elementary geometry
• Generalizing the Steiner-Lehmus theorem using the Gröbner cover
• Automatic deduction in (dynamic) geometry: Loci computation
• A combinator language for theorem discovery

This page was built for publication: An introduction to automated discovery in geometry through symbolic computation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2912124)