- 2
- 1
Guillaume Melquiond
3
Documents
Publications
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 1
- 2
- 1
|
|
The design of the Boost interval arithmetic libraryTheoretical Computer Science, 2006, Real Numbers and Computers, 351 (1), pp.111-118. ⟨10.1016/j.tcs.2005.09.062⟩
Article dans une revue
inria-00344412v1
|
|
|
The Boost Interval Arithmetic LibraryReal Numbers and Computers, 2003, Lyon, France. pp.65-80
Communication dans un congrès
inria-00348711v1
|
|
|
A proposal for the C++ standard : Bool_set, multi-valued logic[Research Report] RR-5967, INRIA. 2006, pp.22
Rapport
inria-00089230v2
|