Communication Dans Un Congrès
Année : 2016
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03176418
Soumis le : lundi 22 mars 2021-13:35:41
Dernière modification le : lundi 20 novembre 2023-11:44:22
Dates et versions
Identifiants
- HAL Id : hal-03176418 , version 1
Citer
Érik Martin-Dorel, Guillaume Melquiond. Proving Tight Bounds on Univariate Expressions with Elementary Functions in Coq (Journées FAC 2016). Journées Formalisation des Activités Concurrentes (FAC 2016), Groupe IFSE du RTRA STAE (Réseau Thématique de Recherche Avancée « Sciences et Technologies pour l’Aéronautique et l’Espace » de Toulouse), Mar 2016, Toulouse, France. ⟨hal-03176418⟩
Collections
29
Consultations
0
Téléchargements