scientific article; zbMATH DE number 1745043
From MaRDI portal
Publication:4531863
zbMath0985.68078MaRDI QIDQ4531863
Pascal Schreck, Jean-François Dufourd, Christophe Dehlinger
Publication date: 23 May 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2061/20610306
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (15)
A synthetic proof of Pappus' theorem in Tarski's geometry ⋮ From informal to formal proofs in Euclidean geometry ⋮ Two cryptomorphic formalizations of projective incidence geometry ⋮ Formalization of the arithmetization of Euclidean plane geometry and applications ⋮ Formal specification and proofs for the topology and classification of combinatorial surfaces ⋮ Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method ⋮ The area method. A recapitulation ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ A case study in formalizing projective geometry in Coq: Desargues theorem ⋮ Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq ⋮ Retrieving geometric information from images: the case of hand-drawn diagrams ⋮ Formalization of the Poincaré disc model of hyperbolic geometry ⋮ Mechanical Theorem Proving in Tarski’s Geometry ⋮ A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs ⋮ Formalizing complex plane geometry
Uses Software
This page was built for publication:
