Communication Dans Un Congrès
Année : 2016
Connectez-vous pour contacter le contributeur
https://hal.science/hal-03176418
Soumis le : lundi 22 mars 2021-13:35:41
Dernière modification le : vendredi 24 octobre 2025-16:38:02
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
175
Consultations
0
Téléchargements