Open AccessMathematicsComputer Science

Coquelicot: A User-Friendly Library of Real Analysis for Coq

S. Boldo, Catherine Lelay, G. Melquiond

2014.6.28Mathematics in Computer Science

DOI: 10.1007/s11786-014-0181-1

tlooto Summary

A user-friendly library that comes with a comprehensive set of theorems that cover not only these notions, but also some extensions such as parametric integrals, two-dimensional differentiability, asymptotic behaviors, and more.

Abstract

Abstract is not available.

Citation format

BOLDO, S.; LELAY, Catherine; MELQUIOND, G. Coquelicot: A user-friendly library of real analysis for coq. Mathematics in Computer Science, 2014, 9: 41–62.