|
||
---|---|---|
hal-01326533v1
Chapitre d'ouvrage
Computing capture tubes Scientific Computing, Computer Arithmetic, and Validated Numerics, 9553, Springer, pp.209-224, 2016, 978-3-319-31768-7. ⟨10.1007/978-3-319-31769-4_17⟩ |
||
hal-02956402v1
Communication dans un congrès
Towards a Generic Interval Solver for Differential-Algebraic CSP International Conference on Principles and Practice of Constraint Programming (CP), Simonis, Helmut, Sep 2020, Louvain-la-Neuve, Belgium. pp.548-565, ⟨10.1007/978-3-030-58475-7_32⟩ |
||
|