Logiciels développés par les membres du projet/Software designed by project members

From TaMaDiWiki
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