An introduction to automated discovery in geometry through symbolic computation

DOI10.1007/978-3-7091-0794-2_12MaRDI QIDQ2912124zbMATH OpenOpenAlexFDO

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)

• Automated study of a regular trifolium
• Automated detection of interesting properties in regular polygons
• Towards the Automatic Discovery of Theorems in GeoGebra
• Computer discovered mathematics and applications in education
• scientific article; zbMATH DE number 2247479 (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
• Automated generation of geometric theorems from images of diagrams
• 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?)
• Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick
• scientific article; zbMATH DE number 5587879 (Why is no real title available?)
• Automated reasoning in geometry
• Towards an Automated Geometer
• 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
• A combinator language for theorem discovery
• Towards an automatic geometer
• Automatic deduction in (dynamic) geometry: Loci computation

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)