- 2
Michel Rueher
2
Documents
Présentation
Publications
- 2
- 1
- 1
- 1
- 1
- 1
|
Towards a constraint system for round-off error analysis of floating-point computation24th International Conference on Principles and Practice of Constraint Programming :Doctoral Program, Aug 2018, Lille, France
Communication dans un congrès
hal-01956046v1
|
A Branch-and-bound Algorithm to Rigorously Enclose the Round-Off ErrorsPrinciples and Practice of Constraint Programming, pp.637-653, 2020, ⟨10.1007/978-3-030-58475-7_37⟩
Chapitre d'ouvrage
hal-02962315v1
|