Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Logiciels et brevets
Production scientifique
Logiciel Coq.Interval
Coq.Interval - Bibliothèque Coq.Interval de preuve automatique de bornes sur des expressions à valeurs réelles
Date de dernière version : 15 septembre 2017

Responsable : MELQUIOND Guillaume


La bibliothèque Coq.Interval fournit des tactiques pour l'asistant de preuves Coq servant à faciliter la preuve d'inéqualités sur des expressions à valeurs réelles.

Pour en savoir plus: http://coq-interval.gforge.inria.fr/

Logiciel - Licence : LGPL



Activités de recherche

Membres
  MELQUIOND Guillaume

Equipe
  Vérification d'Algorithmes, Langages et Systèmes

Equipe-projet Inria
  Toccata
Logiciels et brevets
TOUCHTOKENS
Low-cost Solution for Tangible Interfaces

LODATLAS
Browsing Linked Data Catalogs with LODAtlas

BOLDR
Query Intermediate Representation Library