Toggle navigation
Marelle
Accueil
Membres
Recherche
Publications
Logiciels
Enseignement
Collaborations
Actualités
Offres d’emploi
Séminaires
Évènements
Actualités
Contact
Tag:
approximation polynomiale
Aug
26
2013
Séminaire Marelle : Certified, Efficient and Sharp Univariate Taylor Models in COQ.
De
Yves BERTOT
dans la catégorie
Séminaires
Désolé, cet article est seulement disponible en
Anglais Américain
.
Coq
,
approximation polynomiale
,
assistant de preuve
English
Français
Administration links
Connexion
Flux
RSS
des articles
RSS
des commentaires
Site de WordPress-FR
News
News
Sélectionner un mois
octobre 2017 (1)
septembre 2015 (1)
juillet 2015 (1)
juin 2015 (1)
mai 2015 (1)
janvier 2015 (1)
décembre 2014 (1)
août 2014 (1)
avril 2014 (2)
novembre 2013 (4)
août 2013 (2)
juillet 2013 (7)
juin 2013 (1)
avril 2013 (1)
mars 2013 (1)
février 2013 (1)
janvier 2013 (1)
août 2012 (1)
mars 2012 (1)
décembre 2011 (1)
décembre 2010 (1)
novembre 2010 (2)
octobre 2010 (1)
septembre 2010 (1)
juillet 2010 (1)
juin 2010 (4)
mai 2010 (2)
décembre 2009 (1)
novembre 2009 (1)
septembre 2009 (1)
juillet 2009 (1)
juin 2009 (1)
mai 2009 (2)
avril 2009 (2)
janvier 2009 (2)
décembre 2008 (2)
Blogroll
HAL tools
Inria
