Publication:4736392
From MaRDI portal
zbMath1054.03041MaRDI QIDQ4736392
Herman Geuvers, Freek Wiedijk, Jan Zwanenburg
Publication date: 9 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2277/22770096.htm
03F60: Constructive and recursive analysis
03B35: Mechanization of proofs and logical operations
03F65: Other constructive mathematics
Related Items
The challenge of computer mathematics, Realizability interpretation of proofs in constructive analysis, A constructive algebraic hierarchy in Coq.
Uses Software