DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Interval arithmetic
Interval arithmetic
Variable Precision in Modern Floating-Point Computing
A Library for Interval Arithmetic Was Developed
Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code
Complete Interval Arithmetic and Its Implementation on the Computer
MPFI: a Library for Arbitrary Precision Interval Arithmetic
Floating Point Computation (Slides 1–123)
Draft Standard for Interval Arithmetic (Simplified)
Interval Arithmetic to the C++ Standard Library (Revision 2)
Interval Arithmetic with Fixed Rounding Mode
An Interval Component for Continuous Constraints Laurent Granvilliers
Proceedings of the 7 Python in Science Conference
Complete Interval Arithmetic and Its Implementation on the Computer
Floating Point
A Transprecision Floating-Point Cluster for Efficient Near-Sensor
Preprint-518
New Directions in Floating-Point Arithmetic
Study of the Posit Number System: a Practical Approach
Multiple Precision Interval Packages: Comparing Different Approaches Markus Grimmer, Knut Petras, Nathalie Revol
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∗