Computer Algebra Support for the Completed Set of Intervals (original) (raw)
Related papers
Towards a more complete interval arithmetic in Mathematica
Interval Arithmetic, Extended Numbers and Computer Algebra Systems
Interval arithmetic: From principles to implementation
Journal of the ACM, 2001
Theories of Interval Arithmetic: Mathematical Foundations and Applications
Interval Computations and their
2003
On Some Algebraic and Order-Theoretic Aspects of Machine Interval Arithmetic
Online Mathematics Journal, 2019
Interval Arithmetic. A practical implementation
2015
Interval Mathematics: Foundations, Algebraic Structures, and Applications
Formal Aspects of Correctness and Optimality of Interval Computations
Formal Aspects of Computing, 2006
Computation with the Extended Rational Numbers and an Application to Interval Arithmetic
arXiv (Cornell University), 2020
Fundamentals of SIGLA, an interval computing system over the completed set of intervals
Computing, 1980
On the Axiomatization of Interval Arithmetic
2005
On the Evaluation of Rational Functions in Interval Arithmetic
SIAM Journal on Numerical Analysis, 1981
Verified Real Number Calculations: A Library for Interval Arithmetic
Computing Research Repository, 2007
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021
Lecture Notes in Computer Science, 2009
Algebraic Structures Using Natural Class of Intervals
2011
Alternative Algebra for Multiplication and Inverse of Interval Number
Horizon Research Publishing(HRPUB) Kevin Nelson
Mathematics and Statistics, 2023
The Mainstreaming of Interval Arithmetic
Perspectives on Enclosure Methods, 2001
Interval Computations and Their Categorification
Numerical Algorithms, 2004
Universal Intervals: Towards a Dependency-Aware Interval Algebra
Mathematical Methods in Interdisciplinary Sciences, 2020
Interval Computations: Introduction, Uses, and Resources
1996
Interval Mathematics as a Potential Weapon against Uncertainty
Mathematics of Uncertainty Modeling in the Analysis of Engineering and Science Problems, 2014
Is an interval the right result of arithmetic operations on intervals?
International Journal of Applied Mathematics and Computer Science
Towards a user transparent interval arithmetic
A unified framework for interval constraints and interval arithmetic
1998
Is the conventional interval arithmetic correct?
Interval-valued computations and their connection with
Theoretical Computer Science, 2008
WAI'96: II Workshop on Computer Arithmetic, Interval and Symbolic Computation
Reliable Computing, 1996
Algorithm 763; INTERVAL_ARITHMETIC: a Fortran 90 module for an interval data type
ACM Transactions on Mathematical Software, 1996
Polynomial Precise Interval Analysis Revisited
Lecture Notes in Computer Science, 2009
A Review on Interval Computationsoftware and Applications
Int. J. of Computational and Numerical Analysis and …, 2002