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)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
  • 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.
Personal tools