A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
From MaRDI portal
Publication:5170235
DOI10.1016/j.entcs.2012.06.005zbMath1294.68126OpenAlexW2031433674WikidataQ113318101 ScholiaQ113318101MaRDI QIDQ5170235
Publication date: 22 July 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2012.06.005
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Automated generation of illustrated proofs in geometry and beyond ⋮ Taxonomies of geometric problems
Uses Software
Cites Work
- Unnamed Item
- An introduction to Wu's method for mechanical theorem proving in geometry
- Using Gröbner bases to reason about geometry problems
- A deductive database approach to automated geometry theorem proving and discovering
- A graphical user interface for formal proofs in geometry
- GeoThms — a Web System for Euclidean Constructive Geometry
- Machine Proofs in Geometry
- Theorem Proving in Higher Order Logics
- Automated Deduction in Geometry
- Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles
This page was built for publication: A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs
