Laurent Fousse And Not68Wxx
List of bibliographic references
Number of relevant bibliographic references: 2.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000300 | Laurent Fousse [France] ; Guillaume Hanrot [France] ; Vincent Lefevre [France] ; Patrick Pelissier [France] ; Paul Zimmermann Loria [France] | MPFR : A multiple-precision binary floating-point library with correct rounding |
| 000726 | Laurent Fousse [France] ; Paul Zimmermann [France] | Accurate summation: Towards a simpler and formal proof |
| This area was generated with Dilib version V0.6.33. |  |