On the Axiomatization of Interval Arithmetic (original) (raw)
Related papers
Universal Intervals: Towards a Dependency-Aware Interval Algebra
Mathematical Methods in Interdisciplinary Sciences, 2020
On Some Algebraic and Order-Theoretic Aspects of Machine Interval Arithmetic
Online Mathematics Journal, 2019
Theories of Interval Arithmetic: Mathematical Foundations and Applications
Interval Mathematics: Foundations, Algebraic Structures, and Applications
Algebraic Structures Using Natural Class of Intervals
2011
Interval arithmetic: From principles to implementation
Journal of the ACM, 2001
Is an interval the right result of arithmetic operations on intervals?
International Journal of Applied Mathematics and Computer Science
Towards a more complete interval arithmetic in Mathematica
Interval-valued computations and their connection with
Theoretical Computer Science, 2008
Interval Computations and their
2003
Formal Aspects of Correctness and Optimality of Interval Computations
Formal Aspects of Computing, 2006
Fundamentals of SIGLA, an interval computing system over the completed set of intervals
Computing, 1980
Interval Computations and Their Categorification
Numerical Algorithms, 2004
Operations on (ordered) interval sets
2004
Interval Arithmetic, Extended Numbers and Computer Algebra Systems
Trends in Applied and Computational Mathematics, 2004
Online Mathematics Journal, 2019
On the Algebraic Properties of Intervals and Some Applications
Reliable Computing, 2001
Alternative Algebra for Multiplication and Inverse of Interval Number
Horizon Research Publishing(HRPUB) Kevin Nelson
Mathematics and Statistics, 2023
On a Refined Analysis of Some Problems in Interval Arithmetic Using Real Number Complexity Theory
Reliable Computing, 2004
Computer Algebra Support for the Completed Set of Intervals
arXiv (Cornell University), 2020
Is the conventional interval arithmetic correct?
A unified framework for interval constraints and interval arithmetic
1998
Interval logics and their decision procedures
Theoretical Computer Science, 1996
Interval Mathematics as a Potential Weapon against Uncertainty
Mathematics of Uncertainty Modeling in the Analysis of Engineering and Science Problems, 2014
Study of Natural Class of Intervals Using (-∞, ∞) and (∞, -∞)
2011
The Mainstreaming of Interval Arithmetic
Perspectives on Enclosure Methods, 2001
Interval Arithmetic. A practical implementation
2015
The fundamental theorems of interval analysis
2006
On the Evaluation of Rational Functions in Interval Arithmetic
SIAM Journal on Numerical Analysis, 1981
How to Extend Interval Arithmetic So That Inverse and Division Are Always Defined
2020
Allen's Interval Algebra and Smart-type Environments
A Theory for Convex Interval Relations including Unbounded Intervals
The Florida AI Research Society Conference, 2004