Parallel implementation of interval analysis for equations solving (original) (raw)
Related papers
Shared-memory parallelization of an interval equations systems solver - comparison of tools
ALIAS: an interval analysis based library for solving and analyzing system of equations
Interval arithmetic: From principles to implementation
Journal of the ACM, 2001
Interval Arithmetic. A practical implementation
2015
A proposal to add interval arithmetic to the C++ standard library
2006
A class of problems that can be solved using interval algorithms
2011
A unified framework for interval constraints and interval arithmetic
1998
A Computational Environment for Interval Matrices in C+
2006
A Generic, Collaborative Framework for Interval Constraint Solving
2002
Computer Algebra Support for the Completed Set of Intervals
Declarative Numerical Analysis: an Interval Constraint-based Approach
1999
Interval analysis, constraint propagation and applications
2007
Fundamentals of SIGLA, an interval computing system over the completed set of intervals
Computing, 1980
Verified Real Number Calculations: A Library for Interval Arithmetic
Computing Research Repository, 2007
Analytic constraint solving and interval arithmetic
2000
Efficient interval linear equality solving in constraint logic programming
Reliable computing, 2002
An extension of the WAM for hybrid interval solvers
Interval Computations: Introduction, Uses, and Resources
1996
Formal Aspects of Correctness and Optimality of Interval Computations
Formal Aspects of Computing, 2006
A Comparison of some Methods for Solving Linear Interval Equations
SIAM Journal on Numerical Analysis, 1997
Concurrent cooperating solvers over reals
1997
Algorithm 763; INTERVAL_ARITHMETIC: a Fortran 90 module for an interval data type
ACM Transactions on Mathematical Software, 1996
Metalevel Interval Arithmetic and Verifiable Constraint Solving
Polynomial Precise Interval Analysis Revisited
Lecture Notes in Computer Science, 2009
A Local Search Approach to Modelling and Solving Interval Algebra Problems
Journal of Logic and Computation, 2004