Automated deduction and knowledge management in geometry (Q1995808): Difference between revisions

@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Automated theorem proving in GeoGebra: current achievements
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 25 years of TACAS: TOOLympics, held as part of ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings. Part III
+Normal rank
@@ Property / cites work @@
+Towards an Automated Geometer
@@ Property / cites work: Towards an Automated Geometer / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+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 @@
+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 @@
+Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence
+Normal rank
@@ Property / cites work @@
+Graph-based knowledge representation. Computational foundations of conceptual graphs
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+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 @@
+Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
+Normal rank
@@ Property / cites work @@
+Proof Technology in Mathematics Research and Teaching
+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 @@
+Automatic Verification of Regular Constructions in Dynamic Geometry Systems
+Normal rank
@@ Property / cites work @@
+Using Gröbner bases to reason about geometry problems
+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 @@
+Q4525303
@@ Property / cites work: Q4525303 / rank @@
+Normal rank
@@ Property / cites work @@
+Twenty Years of Rewriting Logic
@@ Property / cites work: Twenty Years of Rewriting Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Portfolio theorem proving and prover runtime prediction for geometry
+Normal rank
@@ Property / cites work @@
+A formalization of geometric constraint systems and their decomposition
+Normal rank
@@ Property / cites work @@
+A graphical user interface for formal proofs in geometry
+Normal rank
@@ Property / cites work @@
+The simplest axiom system for plane hyperbolic geometry
+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 @@
+Taxonomies of geometric problems
@@ Property / cites work: Taxonomies of geometric problems / rank @@
+Normal rank
@@ Property / cites work @@
+Automated development of Tarski's geometry
@@ Property / cites work: Automated development of Tarski's geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
+Normal rank
@@ Property / cites work @@
+Automatic Deduction in an AI Geometry Book
@@ Property / cites work: Automatic Deduction in an AI Geometry Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q4254919
@@ Property / cites work: Q4254919 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic discovery of theorems in elementary geometry
+Normal rank
@@ Property / cites work @@
+A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
+Normal rank
@@ Property / cites work @@
+The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and structure
@@ Property / cites work: Logic and structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q4840652
@@ Property / cites work: Q4840652 / rank @@
+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 @@
+Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input 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 / describes a project that uses @@
+Electronic Geometry Textbook
@@ Property / describes a project that uses: Electronic Geometry Textbook / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TGTP
@@ Property / describes a project that uses: TGTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Opengeo
@@ Property / describes a project that uses: Opengeo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JGEX
@@ Property / describes a project that uses: JGEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GATP
@@ Property / describes a project that uses: GATP / 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 @@
+GeoGebra
@@ Property / describes a project that uses: GeoGebra / 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 @@
+TPTP
@@ Property / describes a project that uses: TPTP / 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 @@
+OpenGeoProver
@@ Property / describes a project that uses: OpenGeoProver / 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.1007/s11786-020-00489-7
+Normal rank
@@ Property / OpenAlex ID @@
+W3037133231
@@ Property / OpenAlex ID: W3037133231 / rank @@
+Normal rank