- Titre
- A Reflexive Tactic for Polynomial Positivity using Numerical Solvers and Floating-Point Computations (Journées FAC 2017)
- Créateurs - sans rôle
- Érik Martin-Dorel - Assistance à la Certification d’Applications DIstribuées et EmbarquéesPierre Roux - Université de Montpellier, Centre de Recherche en Biologie Cellulaire de Montpellier - CRBM
- Colloque
- Journées FAC 2017 (Toulouse, France, 29/03/2017–30/03/2017)
- Identifiants
- 9941486209311
- Unité académique
- Centre de Recherche en Biologie Cellulaire de Montpellier - CRBM
- Langue
- French
- Type de ressource
- Conference proceeding
- Champs locaux
- hal-03131862
Acte de colloque
A Reflexive Tactic for Polynomial Positivity using Numerical Solvers and Floating-Point Computations (Journées FAC 2017)
Journées FAC 2017 (Toulouse, France, 29/03/2017–30/03/2017)
2017
Indicateurs
1 Consultations de la notice