Automatic Differentiation and Interval Arithmetic for Estimation of Disequilibrium Models
Computational Economics - Special issue on computational economics in Geneva: volume 1: computational econometrics, statistics, and optimization
Single-valued tubular surface intersection using interval arithmetic
Mathematical Methods for Curves and Surfaces
Experiments with a new selection criterion in a fast interval optimization algorithm
Journal of Global Optimization
Computational Divided Differencing and Divided-Difference Arithmetics
Higher-Order and Symbolic Computation
Towards differentiation-enabled Fortran 95 compiler technology
Proceedings of the 2003 ACM symposium on Applied computing
A New Inclusion Function for Optimization: Kite&mdashlThe One Dimensional Case
Journal of Global Optimization
FILIB++, a fast interval library supporting containment computations
ACM Transactions on Mathematical Software (TOMS)
Inner and outer bounds for the solution set of parametric linear systems
Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)
Empirical convergence speed of inclusion functions for facility location problems
Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)
Multi-dimensional pruning from the Baumann point in an Interval Global Optimization Algorithm
Journal of Global Optimization
Comparison of Packages for Interval Arithmetic
Informatica
Interval Subroutine Library Mission
Reliable Implementation of Real Number Algorithms: Theory and Practice
Computers and Operations Research
High Performance Computing for Computational Science - VECPAR 2008
Computational Optimization and Applications
Dense linear system: a parallel self-verified solver
International Journal of Parallel Programming
C-XSC and Closely Related Software Packages
Numerical Validation in Current Hardware Architectures
Numerical Validation in Current Hardware Architectures
Optimizing a parallel self-verified method for solving linear systems
PARA'06 Proceedings of the 8th international conference on Applied parallel computing: state of the art in scientific computing
A survey of interval Runge-Kutta and multistep methods for solving the initial value problem
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
The impact of data distribution in accuracy and performance of parallel linear algebra subroutines
VECPAR'10 Proceedings of the 9th international conference on High performance computing for computational science
Solving dense interval linear systems with verified computing on multicore architectures
VECPAR'10 Proceedings of the 9th international conference on High performance computing for computational science
Parallel detection of interval overlapping
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
Parallel interval newton method on CUDA
PARA'12 Proceedings of the 11th international conference on Applied Parallel and Scientific Computing
How do you compute the midpoint of an interval?
ACM Transactions on Mathematical Software (TOMS)
Hi-index | 0.00 |
From the Publisher:This book offers a general discussion on arithmetic and computational reliability, analytical mathematics and verification techniques, algorithms, and (most importantly) actual C++ implementations. In each chapter, examples, exercises, and numerical results demonstrate the application of the routines presented. The book introduces many computational verification techniques. It is not assumed that the reader has any prior formal knowledge of numerical verfication or any familiarity with interval analysis. The necessary concepts are introduced.