Interval arithmetic
Top View
- Moore: Interval Arithmetic in Modern C++ W
- High-Level Synthesis and Arithmetic Optimizations Yohann Uguen
- Interval Computation with Java-XSC 1. Introduction 2. Floating-Point
- Floating Point - Wikipedia, the Free Encyclopedia Page 1 of 12 Floating Point
- PARTI: a Multi-Interval Theory Solver for Symbolic Execution
- 4, Issued 1985, Revised 2008 • Widely Adopted Industry Standard • Easier Interchange of Data and Programs • Exception Handling with Nans Etc
- Interval Arithmetic on 32-Bit Words
- Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code
- Why Interval Arithmetic Is So Useful
- An Introduction to Interval-Based Constraint Processing
- High Precision Numerical Accuracy in Physics Research
- Motivations for an Arbitrary Precision Interval Arithmetic and the MPFI Library
- Interval Computations on the Spreadsheet 3
- Automated Real Proving in PVS Via Metitarski
- Numerically Robust Implementations of Fast Recursive Least Squares Adaptive Filters Using Interval Arithmetic
- IEEE-1788 Standardization of Interval Arithmetic: Introduction - Link with MPFI
- CIM) Infrastructure
- Jinterval Library: Principles, Development, and Perspectives∗