Towards an intelligent and dynamic geometry book (Q1701659): Difference between revisions

@@ Property / describes a project that uses @@
+GATP
@@ Property / describes a project that uses: GATP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Baghera
@@ Property / describes a project that uses: Baghera / 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 @@
+Cinderella
@@ Property / describes a project that uses: Cinderella / rank @@
+Normal rank
@@ 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 / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57552294
@@ Property / Wikidata QID: Q57552294 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11786-017-0302-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2609408480
@@ Property / OpenAlex ID: W2609408480 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated theorem proving in GeoGebra: current achievements
+Normal rank
@@ Property / cites work @@
+Formalization of the arithmetization of Euclidean plane geometry and applications
+Normal rank
@@ Property / cites work @@
+A graphical user interface for formal proofs in geometry
+Normal rank
@@ Property / cites work @@
+From Tarski to Hilbert
@@ Property / cites work: From Tarski to Hilbert / rank @@
+Normal rank
@@ Property / cites work @@
+A synthetic proof of Pappus' theorem in Tarski's geometry
+Normal rank
@@ Property / cites work @@
+Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence
+Normal rank
@@ Property / cites work @@
+Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
+Normal rank
@@ Property / cites work @@
+Representation and automated transformation of geometric statements
+Normal rank
@@ Property / cites work @@
+Using Gröbner bases to reason about geometry problems
+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 Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry
+Normal rank
@@ Property / cites work @@
+Formalization of Wu’s Simple Method in Coq
@@ Property / cites work: Formalization of Wu’s Simple Method in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving
+Normal rank
@@ Property / cites work @@
+Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
+Normal rank
@@ Property / cites work @@
+Morley's theorem revisited: origami construction and automated proof
+Normal rank
@@ Property / cites work @@
+GCLC — A Tool for Constructive Euclidean Geometry and More Than That
+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 @@
+The Relation Tool in GeoGebra 5
@@ Property / cites work: The Relation Tool in GeoGebra 5 / rank @@
+Normal rank
@@ Property / cites work @@
+A case study in formalizing projective geometry in Coq: Desargues theorem
+Normal rank
@@ Property / cites work @@
+Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical Theorem Proving in Tarski’s Geometry
@@ Property / cites work: Mechanical Theorem Proving in Tarski’s Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
+Normal rank
@@ Property / cites work @@
+Current Status of the I2GATP Common Format
@@ Property / cites work: Current Status of the I2GATP Common Format / rank @@
+Normal rank
@@ Property / cites work @@
+The Web Geometry Laboratory Project
@@ Property / cites work: The Web Geometry Laboratory Project / rank @@
+Normal rank
@@ Property / cites work @@
+Q4254919
@@ Property / cites work: Q4254919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840652
@@ Property / cites work: Q4840652 / rank @@
+Normal rank
@@ Property / cites work @@
+A Vernacular for Coherent Logic
@@ Property / cites work: A Vernacular for Coherent Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
+Normal rank
@@ Property / cites work @@
+OpenGeo: An Open Geometric Knowledge Base
@@ Property / cites work: OpenGeo: An Open Geometric Knowledge Base / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700870
@@ Property / cites work: Q3700870 / rank @@
+Normal rank
@@ Property / cites work @@
+An Introduction to Java Geometry Expert
@@ Property / cites work: An Introduction to Java Geometry Expert / rank @@
+Normal rank