Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

5 Results
authFullName_s : Pierre Roux

A Reflexive Tactic for Polynomial Positivity using Numerical Solvers and Floating-Point Computations (Journées FAC 2017)

Érik Martin-Dorel , Pierre Roux
Journées FAC 2017, Groupe IFSE du RTRA STAE, Mar 2017, Toulouse, France
Conference papers hal-03131862v1
Image document

Primitive Floats in Coq

Guillaume Bertholon , Érik Martin-Dorel , Pierre Roux
ITP 2019, Interactive Theorem Proving, Sep 2019, PORTLAND, United States. ⟨10.4230/LIPIcs.ITP.2019.7⟩
Conference papers hal-02449191v1
Image document

A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations

Érik Martin-Dorel , Pierre Roux
The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.90 - 99, ⟨10.1145/3018610.3018622⟩
Conference papers hal-01510979v1
Image document

Enabling Floating-Point Arithmetic in the Coq Proof Assistant

Érik Martin-Dorel , Guillaume Melquiond , Pierre Roux
Journal of Automated Reasoning, 2023, 67 (33), ⟨10.1007/s10817-023-09679-x⟩
Journal articles hal-04114233v2
Image document

Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code

Guillaume Davy , Christophe Garion , Pierre-Loïc Garoche , Pierre Roux , Xavier Thirioux
2018 Forum on specification & Design Languages (FDL), Sep 2018, Munich, France. pp.5-16, ⟨10.1109/FDL.2018.8524044⟩
Conference papers hal-02163873v1