There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2004

Pages: 88-103

DOI: 10.1007/978-3-540-27818-4_7

SO-VID: 4752e570-6552-4b40-84fd-045970463736

License:

http://www.springer.com/tdm

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 4

Coquelicot: A User-Friendly Library of Real Analysis for Coq
Authors: Sylvie Boldo, Catherine Lelay, Guillaume Melquiond
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
Authors: Josef Urban, Jesse Alama, Piotr Rudnicki …
A Content Based Mathematical Search Engine: Whelp
Authors: Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti Coen …

See all cited by

C-CoRN, the Constructive Coq Repository at Nijmegen

Read this book at