scientific article; zbMATH DE number 2085169
From MaRDI portal
Publication:4736392
zbMath1054.03041MaRDI QIDQ4736392
Freek Wiedijk, Herman Geuvers, Jan Zwanenburg
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2277/22770096.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Constructive and recursive analysis (03F60) Mechanization of proofs and logical operations (03B35) Other constructive mathematics (03F65)
Related Items
Theory Presentation Combinators ⋮ The challenge of computer mathematics ⋮ A constructive algebraic hierarchy in Coq. ⋮ The HOL Light theory of Euclidean space ⋮ Realizability interpretation of proofs in constructive analysis ⋮ Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice ⋮ Formalizing complex plane geometry
Uses Software
