Automated deduction and knowledge management in geometry
From MaRDI portal
Publication:1995808
DOI10.1007/s11786-020-00489-7zbMath1474.68453OpenAlexW3037133231MaRDI QIDQ1995808
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) Mathematical knowledge management (68V30) Computational methods for problems pertaining to geometry (51-08)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- GEX
- Automated theorem proving in GeoGebra: current achievements
- The area method. A recapitulation
- Representation and automated transformation of geometric statements
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Graph-based knowledge representation. Computational foundations of conceptual graphs
- A formalization of geometric constraint systems and their decomposition
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Using Gröbner bases to reason about geometry problems
- Automated reasoning in geometry theorem proving with Prolog
- Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- The simplest axiom system for plane hyperbolic geometry
- Automatic discovery of theorems in elementary geometry
- Automated development of Tarski's geometry
- Taxonomies of geometric problems
- A graphical user interface for formal proofs in geometry
- 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
- OpenGeo: An Open Geometric Knowledge Base
- Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence
- An Introduction to Java Geometry Expert
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
- The Relation Tool in GeoGebra 5
- Current Status of the I2GATP Common Format
- Electronic Geometry Textbook: A Geometric Textbook Knowledge Management System
- Machine Proofs in Geometry
- Twenty Years of Rewriting Logic
- Proof Technology in Mathematics Research and Teaching
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices
- GCLC — A Tool for Constructive Euclidean Geometry and More Than That
- Logic and structure
- Automated generation of readable proofs with geometric invariants. I: Multiple and shortest proof generation
- Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
- Towards an Automated Geometer
- Automatic Deduction in an AI Geometry Book