Jean-Michel Muller (coordinator), CNRS, Laboratoire LIP, Ari C team
Nicolas Brunie, Kalray
Florent de Dinechin, INSA Lyon, Laboratoire CITI, Socrate team
Claude-Pierre Jeannerod, Inria, Laboratoire LIP, Ari C team
Mioara Joldes, CNRS, LAAS, MAC team
Vincent Lefèvre, Inria, Laboratoire LIP, Ari C team
Guillaume Melquiond, Inria, Laboratoire LRI, Toccata team
Nathalie Revol, Inria, Laboratoire LIP, Ari C team
Serge Torres, ENS de Lyon, Laboratoire LIP, Ari C team
3 หนังสืออิเล็กทรอนิกส์โดย Guillaume Melquiond
Jean-Michel Muller & Nicolas Brunie: Handbook of Floating-Point Arithmetic
This handbook is a definitive guide to the effective use of modern floating-point arithmetic, which has considerably evolved, from the frequently inconsistent floating-point number systems of early c …
PDF
อังกฤษ
€149.79
Sylvie Boldo & Guillaume Melquiond: Computer Arithmetic and Formal Proofs
Floating-point arithmetic is ubiquitous in modern computing, as it is the tool of choice to approximate real numbers. Due to its limited range and precision, its use can become quite involved and pot …
EPUB
อังกฤษ
DRM
€138.60
