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.
Retrieved from "http://tamadiwiki.ens-lyon.fr/tamadiwiki/index.php?title=Logiciels_d%C3%A9velopp%C3%A9s_par_les_membres_du_projet/Software_designed_by_project_members&oldid=388"
Personal tools