Taxonomies of geometric problems (Q2334578): Difference between revisions

@@ Property / describes a project that uses @@
+GCLC
@@ Property / describes a project that uses: GCLC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GeoProof
@@ Property / describes a project that uses: GeoProof / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GEX
@@ Property / describes a project that uses: GEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WGL
@@ Property / describes a project that uses: WGL / 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.1016/j.jsc.2018.12.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2906756016
@@ Property / OpenAlex ID: W2906756016 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3084087
@@ Property / cites work: Q3084087 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated theorem proving in GeoGebra: current achievements
+Normal rank
@@ Property / cites work @@
+Q3994509
@@ Property / cites work: Q3994509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751363
@@ Property / cites work: Q2751363 / rank @@
+Normal rank
@@ Property / cites work @@
+Machine Proofs in Geometry
@@ Property / cites work: Machine Proofs in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
+Normal rank
@@ Property / cites work @@
+Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
+Normal rank
@@ Property / cites work @@
+A deductive database approach to automated geometry theorem proving and discovering
+Normal rank
@@ Property / cites work @@
+Automated reasoning in geometry theorem proving with Prolog
+Normal rank
@@ Property / cites work @@
+Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
+Normal rank
@@ Property / cites work @@
+Proof and proving in mathematics education. The 19th ICMI study
+Normal rank
@@ Property / cites work @@
+Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
+Normal rank
@@ Property / cites work @@
+Q4485800
@@ Property / cites work: Q4485800 / rank @@
+Normal rank
@@ Property / cites work @@
+Geometry constructions language
@@ Property / cites work: Geometry constructions language / rank @@
+Normal rank
@@ Property / cites work @@
+GCLC — A Tool for Constructive Euclidean Geometry and More Than That
+Normal rank
@@ Property / cites work @@
+Automatic Verification of Regular Constructions in Dynamic Geometry Systems
+Normal rank
@@ Property / cites work @@
+The area method. A recapitulation
@@ Property / cites work: The area method. A recapitulation / rank @@
+Normal rank
@@ Property / cites work @@
+A review and prospect of readable machine proofs for geometry theorems
+Normal rank
@@ Property / cites work @@
+Q4375188
@@ Property / cites work: Q4375188 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3053057
@@ Property / cites work: Q3053057 / rank @@
+Normal rank
@@ Property / cites work @@
+A graphical user interface for formal proofs in geometry
+Normal rank
@@ Property / cites work @@
+Improving legibility of formal proofs based on the close reference principle is NP-hard
+Normal rank
@@ Property / cites work @@
+A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
+Normal rank
@@ Property / cites work @@
+Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
+Normal rank
@@ Property / cites work @@
+Towards an intelligent and dynamic geometry book
@@ Property / cites work: Towards an intelligent and dynamic geometry book / rank @@
+Normal rank
@@ Property / cites work @@
+Q4254919
@@ Property / cites work: Q4254919 / rank @@
+Normal rank
@@ Property / cites work @@
+Uses of construction in problems and theorems in Euclid's \textit{Elements} I--VI
+Normal rank
@@ Property / cites work @@
+A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
+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 @@
+Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
+Normal rank
@@ Property / cites work @@
+An Introduction to Java Geometry Expert
@@ Property / cites work: An Introduction to Java Geometry Expert / rank @@
+Normal rank
@@ Property / cites work @@
+Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
+Normal rank