- Home
- » Tags
- » 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∗
- The Design of the Boost Interval Arithmetic Library ?
- A Library of Taylor Models for PVS Automatic Proof Checker
- Isat3 0.04-20170301)∗
- What's New in Sun Workshop 6 Update 2
- Computable Analysis with Applications to Dynamic Systems
- Interval Arithmetic with Containment Sets∗
- Deductive Formal Verification: How to Make Your Floating-Point
- A CDCL-Style Calculus for Solving Non-Linear Constraints?
- Arithmetic Operations for Floating-Point Intervals
- An Exact Numerical Approach Based on Subdivision
- Numerical Experimentation in Differential Geometry
- A Comparison of the Opengistm Abstract Specification with The
- Mathematics and Speed for Interval Arithmetic a Complement to IEEE 1788
- Computer-Assisted Verification of Four Interval Arithmetic Operators
- 94 S.M. Rump. Fast and Parallel Interval Arithmetic. BIT , 39(3)
- Binary Arithmetic Is the Isolation
- Interval Arithmetic: Python Implementation and Applications
- High Speed Exception-Free Interval Arithmetic, from Closed and Bounded Real Intervals to Connected Sets of Real Numbers
- The Boost Interval Arithmetic Library
- Interval Arithmetic: from Principles to Implementation
- A Transprecision Floating-Point Platform for Ultra-Low Power
- On the Normalization of Interval Data
- Sensitivities for Guiding Refinement in Arbitrary-Precision Arithmetic
- Hardware Support for Interval Arithmetic
- Fortran 95 Interval Arithmetic Programming Reference
- Tight Error Analysis in Fixed-Point Arithmetic⋆
- Floating-Point Architectures for Energy-Efficient Transprecision Computing
- Proceedings of the 7Th Python in Science Conference Gaël Varoquaux, Travis Vaught, Jarrod Millman
- INTERVAL ARITHMETIC: a Fortran 90 Module for an Interval Data Type
- A Decimal Multiple-Precision Interval Arithmetic Library∗
- C++ Interval Arithmetic Programming Reference
- GNU MPFR the Multiple Precision Floating-Point Reliable Library Edition 4.0.1 February 2018
- 13 Letters to the IEEE Computer Arithmetic Standards Revision Group Ulrich Kulisch Institut Fur¨ Angewandte Und Numerische Mathematik Universitat¨ Karlsruhe
- Complete Interval Arithmetic and Its Implementation on the Computer
- Introduction to the IEEE 1788-2015 Standard for Interval Arithmetic Nathalie Revol
- Interval Arithmetic, Extended Numbers and Computer Algebra Systems
- Generalizing the Real Interval Arithmetic
- American Scientist the Magazine of Sigma Xi, the Scientific Research Society
- Interval Arithmetic: Fundamentals, History, and Semantics
- 1 Interval Analysis and Machine Arithmetic: Why Signedness
- Common Information Model (CIM) Infrastructure
- Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic