Logiciels développés par les membres du projet/Software designed by project members
From TaMaDiWiki
Revision as of 23:50, 13 October 2013 by ErikMartinDorel (Talk | contribs)
- the CoqApprox library: rigorous polynomial approximation using Taylor models inside the Coq proof assistant (click here to get slides -- presented at NFM 2012 –– that describe the Coqapprox library).
- the CoqHensel library: effective certificate checkers based on Hensel's lemma inside the Coq proof assistant.