- 1
Guillaume Melquiond
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Formally Verified Approximations of Definite IntegralsJournal of Automated Reasoning, 2019, 62 (2), pp.281-300. ⟨10.1007/s10817-018-9463-7⟩
Article dans une revue
hal-01630143v2
|