Communication Dans Un Congrès
Année : 2016
Documentation IRIT : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03155045
Soumis le : lundi 1 mars 2021-14:52:31
Dernière modification le : lundi 12 février 2024-09:52:06
Dates et versions
Identifiants
- HAL Id : hal-03155045 , version 1
Citer
Érik Martin-Dorel, Guillaume Melquiond. CoqInterval: A Toolbox for Proving Non-linear Univariate Inequalities in Coq. MAP 2016 conference on Effective Analysis: Foundations, Implementations, Certification, Jan 2016, Marseille, France. ⟨hal-03155045⟩
Collections
49
Consultations
0
Téléchargements