- 1
Érik Martin-Dorel
1
Documents
Identifiants chercheurs
erik-martin-dorel-
0000-0001-9716-9491
- IdRef : 164762299
Présentation
Brought to you by HAL.
Brought to you by HAL.
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
Rigorous Polynomial Approximation using Taylor Models in CoqFourth NASA Formal Methods Symposium, NASA, Apr 2012, Norfolk, Virginia, United States. pp.15
Communication dans un congrès
ensl-00653460v2
|