Automated generation of geometric theorems from images of diagrams (Q2354910): Difference between revisions

@@ Property / author @@
-Xiao-yu Chen
@@ Property / author: Xiao-yu Chen / rank @@
-Normal rank
@@ Property / author @@
+Xiao-yu Chen
@@ Property / author: Xiao-yu Chen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+webDiscovery
@@ Property / describes a project that uses: webDiscovery / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GeoGebra
@@ Property / describes a project that uses: GeoGebra / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GeoThms
@@ Property / describes a project that uses: GeoThms / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TGTP
@@ Property / describes a project that uses: TGTP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2006962766
@@ Property / OpenAlex ID: W2006962766 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1638
@@ Property / arXiv ID: 1406.1638 / rank @@
+Normal rank
@@ Property / cites work @@
+A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i>
@@ Property / cites work: A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Q4946223
@@ Property / cites work: Q4946223 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4434825
@@ Property / cites work: Q4434825 / rank @@
+Normal rank
@@ Property / cites work @@
+A New Randomized Algorithm for Detecting Lines
@@ Property / cites work: A New Randomized Algorithm for Detecting Lines / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Randomized Algorithm for Detecting Circles
+Normal rank
@@ Property / cites work @@
+Real-time line detection through an improved Hough transform voting scheme
+Normal rank
@@ Property / cites work @@
+A deductive database approach to automated geometry theorem proving and discovering
+Normal rank
@@ Property / cites work @@
+On protocols for the automated discovery of theorems in elementary geometry
+Normal rank
@@ Property / cites work @@
+Use of the Hough transformation to detect lines and curves in pictures
+Normal rank
@@ Property / cites work @@
+Morley's theorem revisited: origami construction and automated proof
+Normal rank
@@ Property / cites work @@
+Formalizing Projective Plane Geometry in Coq
@@ Property / cites work: Formalizing Projective Plane Geometry in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
+Normal rank
@@ Property / cites work @@
+Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
+Normal rank
@@ Property / cites work @@
+GeoThms — a Web System for Euclidean Constructive Geometry
+Normal rank
@@ Property / cites work @@
+Elimination procedures for mechanical theorem proving in geometry
+Normal rank
@@ Property / cites work @@
+Artificial intelligence and symbolic mathematical computation. International conference, AISMC-3, Steyr, Austria, September 23--25, 1996. Proceedings
+Normal rank
@@ Property / cites work @@
+Elimination methods
@@ Property / cites work: Elimination methods / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
+Normal rank
@@ Property / cites work @@
+Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
+Normal rank
@@ Property / cites work @@
+Q2988089
@@ Property / cites work: Q2988089 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2354910