Virgule flottante And NotJ. Harrison
List of bibliographic references
Number of relevant bibliographic references: 4.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 |
000495 | Phong Q. Nguyen [France] ; Damien Stehle [France] | Floating-point LLL revisited |
000609 | Fabrice Rouillier [France] ; Paul Zimmermann [France] | Efficient isolation of polynomial's real roots |
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. | ![]() |