Computer arithmetic and formal proofs : verifying floating-point algorithms with the Coq system / / Sylvie Boldo, Guillaume Melquiond |
Autore | Boldo Sylvie |
Pubbl/distr/stampa | London, England : , : ISTE Press : , : Elsevier, , 2017 |
Descrizione fisica | 1 online resource (328 pages) : illustrations |
Disciplina | 004.0151 |
Soggetto topico |
Computer arithmetic
Floating-point arithmetic |
ISBN | 0-08-101170-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910583020603321 |
Boldo Sylvie | ||
London, England : , : ISTE Press : , : Elsevier, , 2017 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Handbook of Floating-Point Arithmetic / / by Jean-Michel Muller, Nicolas Brunie, Florent de Dinechin, Claude-Pierre Jeannerod, Mioara Joldes, Vincent Lefèvre, Guillaume Melquiond, Nathalie Revol, Serge Torres |
Autore | Muller Jean-Michel |
Edizione | [2nd ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2018 |
Descrizione fisica | 1 online resource (XXV, 627 p. 64 illus., 5 illus. in color.) |
Disciplina | 518 |
Soggetto topico |
Computer mathematics
Algorithms Computer science—Mathematics Applied mathematics Engineering mathematics Programming languages (Electronic computers) Computational Mathematics and Numerical Analysis Algorithm Analysis and Problem Complexity Math Applications in Computer Science Mathematical and Computational Engineering Programming Languages, Compilers, Interpreters |
ISBN | 3-319-76526-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: Introduction, Basic Definitions, and Standards -- Introduction -- Definitions and Basic Notations -- Floating-Point Formats and Environment -- Part II: Cleverly Using Floating-Point Arithmetic -- Basic Properties and Algorithms -- Enhanced FP Sums, Dot Products, and Polynomial Values -- Languages and Compilers -- Part III: Implementing Floating-Point Operators -- Algorithms for the Basic Operations -- Hardware Implementation of Floating-Point Arithmetic -- Software Implementation of Floating-Point Arithmetic -- Evaluating Floating-Point Elementary Functions -- Part IV: Extensions -- Complex Numbers -- Interval Arithmetic -- Verifying Floating-Point Arithmetic -- Extending the Precision -- Appendix A: Number Theory Tools -- Appendix B: Previous Standards -- References -- Index. |
Record Nr. | UNINA-9910300110503321 |
Muller Jean-Michel | ||
Cham : , : Springer International Publishing : , : Imprint : Birkhäuser, , 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|