Automated deduction and knowledge management in geometry
From MaRDI portal
Publication:1995808
DOI10.1007/S11786-020-00489-7zbMATH Open1474.68453OpenAlexW3037133231MaRDI QIDQ1995808FDOQ1995808
Publication date: 25 February 2021
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-020-00489-7
Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computational methods for problems pertaining to geometry (51-08) Mathematical knowledge management (68V30)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- GCLC — A Tool for Constructive Euclidean Geometry and More Than That
- A graphical user interface for formal proofs in geometry
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
- The Relation Tool in GeoGebra 5
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- GEX
- An Introduction to Java Geometry Expert
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Using Gröbner bases to reason about geometry problems
- Automated reasoning in geometry theorem proving with Prolog
- Automatic discovery of theorems in elementary geometry
- Automated reasoning in geometry
- Automated theorem proving in GeoGebra: current achievements
- The area method. A recapitulation
- Machine Proofs in Geometry
- Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- Logic and structure
- The simplest axiom system for plane hyperbolic geometry
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
- Representation and automated transformation of geometric statements
- Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
- A formalization of geometric constraint systems and their decomposition
- Graph-based knowledge representation. Computational foundations of conceptual graphs
- Automated development of Tarski's geometry
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- OpenGeo: An Open Geometric Knowledge Base
- Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence
- Current Status of the I2GATP Common Format
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
- Automatic Deduction in an AI Geometry Book
- Twenty Years of Rewriting Logic
- Taxonomies of geometric problems
- Portfolio theorem proving and prover runtime prediction for geometry
- 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
- Proof Technology in Mathematics Research and Teaching
- Towards an Automated Geometer
Cited In (3)
Uses Software
Recommendations
- Automated reasoning in geometry theorem proving with Prolog 👍 👎
- Automated reasoning in geometry 👍 👎
- A deductive database approach to automated geometry theorem proving and discovering 👍 👎
- Automatted geometry theorem proving 👍 👎
- Automatic Deduction in an AI Geometry Book 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
This page was built for publication: Automated deduction and knowledge management in geometry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1995808)
