Learning to solve geometric construction problems from images
From MaRDI portal
Publication:2128821
DOI10.1007/978-3-030-81097-9_14zbMath1485.68271arXiv2106.14195OpenAlexW3183909391MaRDI QIDQ2128821
Josef Urban, Miroslav Olšák, Jaroslav Macke, Josef Sivic, Jiří Sedlář
Publication date: 22 April 2022
Full work available at URL: https://arxiv.org/abs/2106.14195
computer visionvisual recognitionautomatic geometric reasoningsolving geometric construction problems
Learning and adaptive systems in artificial intelligence (68T05) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Machine vision and scene understanding (68T45)
Uses Software
Cites Work
- Unnamed Item
- Transcendental functions and mechanical theorem proving in elementary geometries
- Using Gröbner bases to reason about geometry problems
- A deductive database approach to automated geometry theorem proving and discovering
- TacticToe: learning to prove with tactics
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
- Finding proofs in Tarskian geometry
- Proof-checking Euclid
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
- Machine Proofs in Geometry
- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description)
- Euclidea
This page was built for publication: Learning to solve geometric construction problems from images
