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

Sylvie Boldo Catherine Lelay Guillaume Melquiond

Published in: Math. Comput. Sci. (2015)

Keyphrases

user friendly
highly interactive
data analysis
user interface
back end
graphical interface
statistical analysis
information technology
visualization tool