Communication Dans Un Congrès
Année : 2016
Connectez-vous pour contacter le contributeur
https://hal.science/hal-03155045
Soumis le : lundi 1 mars 2021-14:52:31
Dernière modification le : mercredi 22 octobre 2025-18:04:08
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
156
Consultations
0
Téléchargements