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.

  • By Yves BERTOT in 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

Blogroll

  • HAL tools
  • Inria

Team Web Sites Generator / SEISM / DSI / INRIA

Made with by Graphene Themes.