Retrieving geometric information from images: the case of hand-drawn diagrams (Q1741163): Difference between revisions

@@ Property / DOI @@
-.1007/s10618-017-0494-1
@@ Property / DOI: 10.1007/s10618-017-0494-1 / rank @@
-Normal rank
@@ Property / author @@
+Xiao-yu Chen
@@ Property / author: Xiao-yu Chen / rank @@
+Normal rank
@@ Property / cites work @@
+Tesseract
@@ Property / cites work: Tesseract / rank @@
+Normal rank
@@ Property / cites work @@
+Searching for Geometric Theorems Using Features Retrieved from Diagrams
+Normal rank
@@ Property / cites work @@
+Q4846468
@@ Property / cites work: Q4846468 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing the Hough transform to detect arbitrary shapes
+Normal rank
@@ Property / cites work @@
+A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
+Normal rank
@@ Property / cites work @@
+OTTER Proofs in Tarskian Geometry
@@ Property / cites work: OTTER Proofs in Tarskian Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714165
@@ Property / cites work: Q3714165 / 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 @@
+Formalization and specification of geometric knowledge objects
+Normal rank
@@ Property / cites work @@
+Representation and automated transformation of geometric statements
+Normal rank
@@ Property / cites work @@
+Automated generation of geometric theorems from images of diagrams
+Normal rank
@@ Property / cites work @@
+Machine Proofs in Geometry
@@ Property / cites work: Machine Proofs in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751363
@@ Property / cites work: Q2751363 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729670
@@ Property / cites work: Q2729670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531863
@@ Property / cites work: Q4531863 / rank @@
+Normal rank
@@ Property / cites work @@
+Use of the Hough transformation to detect lines and curves in pictures
+Normal rank
@@ Property / cites work @@
+Q3185644
@@ Property / cites work: Q3185644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5431481
@@ Property / cites work: Q5431481 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5302559
@@ Property / cites work: Q5302559 / rank @@
+Normal rank
@@ Property / cites work @@
+Problems and Experiments for and with Automated Theorem-Proving Programs
+Normal rank
@@ Property / cites work @@
+Q4032144
@@ Property / cites work: Q4032144 / rank @@
+Normal rank
@@ Property / cites work @@
+Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams
+Normal rank
@@ Property / cites work @@
+Elimination methods
@@ Property / cites work: Elimination methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4418135
@@ Property / cites work: Q4418135 / 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 / describes a project that uses @@
+Tesseract
@@ Property / describes a project that uses: Tesseract / 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 @@
+Tahuti
@@ Property / describes a project that uses: Tahuti / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+kepler98
@@ Property / describes a project that uses: kepler98 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10618-017-0494-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2592892192
@@ Property / OpenAlex ID: W2592892192 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10618-017-0494-1
@@ Property / DOI: 10.1007/S10618-017-0494-1 / rank @@
+Normal rank