IEEE Std P1788 IEEE Standard For Interval Arithmetic Draft 03.2 §4.8

Source URL: grouper.ieee.org

• Mathematics
• Mathematical analysis
• Functions and mappings
• Numerical analysis
• Topology
• Arithmetic
• Computer arithmetic
• Interval
• Function
• Limit of a function
• Bounded function

A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo∗ , Jacques-Henri Jourdan† , Xavier Leroy† , and Guillaume Melquiond∗ ∗ Inria Saclay–ˆIle-de-France & LRI, CNRS UMR 8623, Univ

Source URL: www.lri.fr

• Computer arithmetic
• Computing
• Software engineering
• Computer architecture
• IEEE floating point
• Double-precision floating-point format
• Extended precision
• Processor register
• Compiler correctness
• Rounding
• Fortran
• Single-precision floating-point format

Noname manuscript No. (will be inserted by the editor) Some issues related to double rounding Érik Martin-Dorel · Guillaume Melquiond · Jean-Michel Muller

Source URL: www.lri.fr

• Computer arithmetic
• Mathematics
• Theoretical computer science
• Computing
• Rounding
• IEEE floating point
• Double-precision floating-point format
• Normal number
• Arithmetic underflow
• Division algorithm
• Q
• Denormal number

Introduction CompCert Flocq CompCert+Flocq Conclusion A Formally-Verified C Compiler Supporting Floating-Point Arithmetic Sylvie Boldo Jacques-Henri Jourdan Xavier Leroy Guillaume Melquiond

Source URL: www.lri.fr

• Compilers
• Computer arithmetic
• CompCert
• Logic in computer science
• Xavier Leroy
• GNU Compiler Collection
• Floating point
• X86

The Teaching of Arithmetic I: The Story of an experiment Table of Contents The Teaching ...................................................................................................................................

Source URL: www.tjed.org

GNU MP The GNU Multiple Precision Arithmetic Library EditionNovemberby Torbj¨

Source URL: gmplib.org

Computing CM points on Shimura curves arising from cocompact arithmetic triangle groups John Voight Magma Group Department of Mathematics and Statistics University of Sydney, NSW 2006, Australia

Source URL: math.dartmouth.edu

Edgar H. Sibley Panel Editor Cyclic Redundancy Check (CRC) codes provide a simple yet powerful method of error detection during digital data transmission. Use of a table look-up in computing the CRC bits will efficiently

Source URL: www.ifp.illinois.edu

• Finite fields
• Mathematics
• Cyclic redundancy checks
• Polynomials
• Coding theory
• Binary arithmetic
• Computation of cyclic redundancy checks
• Mathematics of cyclic redundancy checks
• CRC-based framing

Approximate counting by hashing in bounded arithmetic Emil Jeˇr´abek Institute of Mathematics of the Academy of Sciences ˇ a 25, Praha 1, Czech Republic, email: Zitn´

Source URL: users.math.cas.cz

TERM MATCHING AND BIT-SLICED INDEX ARITHMETIC A Dissertation Presented by Denis Rinfret

Source URL: www.cs.umb.edu