Automated deduction and knowledge management in geometry
From MaRDI portal
Publication:1995808
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
Cites work
- scientific article; zbMATH DE number 3926284 (Why is no real title available?)
- scientific article; zbMATH DE number 3497890 (Why is no real title available?)
- scientific article; zbMATH DE number 1313585 (Why is no real title available?)
- scientific article; zbMATH DE number 1555236 (Why is no real title available?)
- scientific article; zbMATH DE number 778202 (Why is no real title available?)
- scientific article; zbMATH DE number 3068536 (Why is no real title available?)
- A coherent logic based geometry theorem prover capable of producing formal and readable proofs
- A formalization of geometric constraint systems and their decomposition
- A graphical user interface for formal proofs in geometry
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- An introduction to Java geometry expert. (Extended abstract)
- Automated development of Tarski's geometry
- 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
- Automated reasoning in geometry
- Automated reasoning in geometry theorem proving with Prolog
- Automated theorem proving in GeoGebra: current achievements
- Automatic Deduction in an AI Geometry Book
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Automatic discovery of theorems in elementary geometry
- Current status of the I2GATP common format
- Electronic Geometry Textbook: a geometric textbook knowledge management system
- GCLC -- a tool for constructive Euclidean geometry and more than that
- GEX
- Graph-based knowledge representation. Computational foundations of conceptual graphs
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Logic and structure
- Machine Proofs in Geometry
- Open geometry textbook: a case study of knowledge acquisition via collective intelligence (project description)
- Opengeo: an open geometric knowledge base
- Portfolio theorem proving and prover runtime prediction for geometry
- Proof technology in mathematics research and teaching
- Querying geometric figures using a controlled language, ontological graphs and dependency lattices
- Representation and automated transformation of geometric statements
- Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
- Taxonomies of geometric problems
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
- The area method. A recapitulation
- The relation tool in GeoGebra 5
- The simplest axiom system for plane hyperbolic geometry
- Thousands of geometric problems for geometric theorem provers (TGTP)
- 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
- Towards an Automated Geometer
- Twenty years of rewriting logic
- Using Gröbner bases to reason about geometry problems
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method
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
Describes a project that uses
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)
