Accueil
>
Production scientifique
> Logiciels et brevets
Présentation
Equipes
Collaborations
Production scientifique
Résultats majeurs
Contrats
Logiciels & Brevets
Thèses et habilitations
Publications du LRI
Publications internes
Recrutements
Formation
Informations pratiques
Logiciel Coq.FP2
Coq.FP2 - Coq.FP2
Date de dernière version : 03 octobre 2012
Responsable :
BOLDO Sylvie
Pour en savoir plus:
http://lipforge.ens-lyon.fr/www/pff/
Logiciel
Activités de recherche
Preuve de programme
Arithmétique flottante
Membres
BOLDO Sylvie
Equipe
Vérification d'Algorithmes, Langages et Systèmes
Equipe-projet Inria
Toccata
Logiciels et brevets
CODALAB
open source framework for running competitions
DNADNA
Deep Neural Architectures for DNA
CARTOLABE
CARTOLABE
> tous les logiciels
