An introduction to automated discovery in geometry through symbolic computation
DOI10.1007/978-3-7091-0794-2_12zbMATH Open1250.65040OpenAlexW2150070066MaRDI QIDQ2912124FDOQ2912124
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
Recommendations
Symbolic computation and algebraic computation (68W30) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18) Euclidean geometries (general) and generalizations (51M05)
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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick
- Title not available (Why is that?)
- 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)
