Automated generation of geometric theorems from images of diagrams
From MaRDI portal
Publication:2354910
DOI10.1007/s10472-014-9433-7zbMath1330.68263arXiv1406.1638OpenAlexW2006962766WikidataQ56602972 ScholiaQ56602972MaRDI QIDQ2354910
Dongming Wang, Dan Song, Xiao-yu Chen
Publication date: 27 July 2015
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1406.1638
Computing methodologies for image processing (68U10) Pattern recognition, speech recognition (68T10) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Image processing (compression, reconstruction, etc.) in information and communication theory (94A08)
Related Items
Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams, Using jointly geometry and algebra to determine RC-constructibility, Towards an Automated Geometer, Self-evident automated proving based on point geometry from the perspective of Wu's method identity, Retrieving geometric information from images: the case of hand-drawn diagrams, Automated detection of interesting properties in regular polygons, Towards the Automatic Discovery of Theorems in GeoGebra, A mechanical geometer, New dynamics in dynamic geometry: dragging constructed points
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- Morley's theorem revisited: origami construction and automated proof
- On protocols for the automated discovery of theorems in elementary geometry
- Elimination methods
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
- A deductive database approach to automated geometry theorem proving and discovering
- Elimination procedures for mechanical theorem proving in geometry
- Real-time line detection through an improved Hough transform voting scheme
- Artificial intelligence and symbolic mathematical computation. International conference, AISMC-3, Steyr, Austria, September 23--25, 1996. Proceedings
- An Efficient Randomized Algorithm for Detecting Circles
- GeoThms — a Web System for Euclidean Constructive Geometry
- Use of the Hough transformation to detect lines and curves in pictures
- Formalizing Projective Plane Geometry in Coq
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
- A New Randomized Algorithm for Detecting Lines
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS