Automated deduction and knowledge management in geometry
From MaRDI portal
Publication:1995808
DOI10.1007/S11786-020-00489-7zbMATH Open1474.68453OpenAlexW3037133231MaRDI QIDQ1995808FDOQ1995808
Authors: Pedro Quaresma 
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
Recommendations
- Automated reasoning in geometry
- scientific article; zbMATH DE number 2247478
- A deductive database approach to automated geometry theorem proving and discovering
- Publication:4946075
- Automatted geometry theorem proving
- Automated reasoning in geometry theorem proving with Prolog
- Automatic Deduction in an AI Geometry Book
- scientific article; zbMATH DE number 4160161
- scientific article; zbMATH DE number 4072432
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
- 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. (Extended abstract)
- Thousands of geometric problems for geometric theorem provers (TGTP)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Opengeo: an open geometric knowledge base
- Open geometry textbook: a case study of knowledge acquisition via collective intelligence (project description)
- 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 (6)
- Geometry knowledge base learning from theorem proofs
- Automatic generation of staged geometric predicates
- A deductive database approach to automated geometry theorem proving and discovering
- Formalization and specification of geometric knowledge objects
- Automatic Deduction in an AI Geometry Book
- Realization of automatic reasoning system of geometry based on point-eliminating method
Uses Software
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)
