The area method. A recapitulation
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3119278 (Why is no real title available?)
- scientific article; zbMATH DE number 1189075 (Why is no real title available?)
- scientific article; zbMATH DE number 41286 (Why is no real title available?)
- scientific article; zbMATH DE number 1745043 (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 case study in formalizing projective geometry in Coq: Desargues theorem
- A deductive database approach to automated geometry theorem proving and discovering
- A graphical user interface for formal proofs in geometry
- Automated Deduction in 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 production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems
- Automated production of traditional proofs in solid geometry
- Automated reasoning in geometry
- Automated reasoning in geometry theorem proving with Prolog
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- Formal certification of a compiler back-end or: programming a compiler with a proof assistant
- Formalization of Hilbert's geometry of incidence and parallelism
- Formalizing Hilbert's Grundlagen in Isabelle/Isar
- Formalizing projective plane geometry in Coq
- GCLC -- a tool for constructive Euclidean geometry and more than that
- Geometry constructions language
- Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Mechanical Theorem Proving in Tarski’s Geometry
- Plane geometry theorem proving using forward chaining
- The axioms of constructive geometry
- Theorem Proving in Higher Order Logics
- 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
- Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
Cited in
(24)- A synthetic proof of Pappus' theorem in Tarski's geometry
- A review and prospect of readable machine proofs for geometry theorems
- A symbolic dynamic geometry system using the analytical geometry method
- Taxonomies of geometric problems
- Portfolio theorem proving and prover runtime prediction for geometry
- Automated theorem proving in GeoGebra: current achievements
- Measuring the readability of geometric proofs: the area method case
- Two cryptomorphic formalizations of projective incidence geometry
- Automated deduction and knowledge management in geometry
- Formalization of Wu's simple method in Coq
- Formalization of the arithmetization of Euclidean plane geometry and applications
- Generalizing Morley's and other theorems with automated realization
- scientific article; zbMATH DE number 2361508 (Why is no real title available?)
- Formalizing complex plane geometry
- Towards understanding triangle construction problems
- The area method and proving plane geometry theorems
- Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach
- The area method in the Wolfram language
- Theorem proving as constraint solving with coherent logic
- Towards an intelligent and dynamic geometry book
- Thousands of geometric problems for geometric theorem provers (TGTP)
- The relation tool in GeoGebra 5
- Current status of the I2GATP common format
- Open geometry prover community project
This page was built for publication: The area method. A recapitulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q437042)
