Active Bibliography

9 A Constructive Formalization of the Fundamental Theorem of Calculus – Luís Cruz-Filipe
2 Formalizing Real Calculus in Coq – Lus Cruz-Filipe - 2002
338 Image Representation Using 2D Gabor Wavelets – Tai Sing Lee - 1996
The Calculemus – Christoph Benzmüller, Corinna Hahn
18 A Constructive Algebraic Hierarchy in Coq – Herman Geuvers, Y Pollack, Freek Wiedijk
14 The algebraic hierarchy of the FTA Project – Herman Geuvers, Y Pollack, Freek Wiedijk, Jan Zwanenburg - 2002
Towards Automation of Real Analysis in Coq – Luís Cruz-filipe
277 Formal certification of a compiler back-end, or: programming a compiler with a proof assistant – Xavier Leroy - 2006
Systems for Integrated . . . -- Interim Report of the CALCULEMUS Network. – Christoph Benzmüller (ed.)