Algorithm 763: INTERVAL_ARITHMETIC: a Fortran 90 module for an interval data type
ACM Transactions on Mathematical Software (TOMS)
Interval Arithmetic for Input-output Models with Inexact Data
Computational Economics
IEEE Transactions on Computers
Multisection in Interval Branch-and-Bound Methods for Global Optimization II. Numerical Tests
Journal of Global Optimization
A Priori Worst Case Error Bounds for Floating-Point Computations
IEEE Transactions on Computers
The iRRAM: Exact Arithmetic in C++
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Improved validated bounds for Taylor coefficients and for Taylor remainder series
Journal of Computational and Applied Mathematics - Proceedings of the international conference on recent advances in computational mathematics
ACM Transactions on Mathematical Software (TOMS)
CORDIC Processor for Variable-Precision Interval Arithmetic
Journal of VLSI Signal Processing Systems
A New Inclusion Function for Optimization: Kite&mdashlThe One Dimensional Case
Journal of Global Optimization
A Verified Optimization Technique to Locate Chaotic Regions of Hénon Systems
Journal of Global Optimization
FILIB++, a fast interval library supporting containment computations
ACM Transactions on Mathematical Software (TOMS)
Complex standard functions and their implementation in the CoStLy library
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)
On the computation of the noncentral F and noncentral beta distribution
Statistics and Computing
Interval Subroutine Library Mission
Reliable Implementation of Real Number Algorithms: Theory and Practice
Reliable Implementation of Real Number Algorithms: Theory and Practice
High Performance Computing for Computational Science - VECPAR 2008
Dense linear system: a parallel self-verified solver
International Journal of Parallel Programming
Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021
Numerical Validation in Current Hardware Architectures
A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range
Numerical Validation in Current Hardware Architectures
C-XSC and Closely Related Software Packages
Numerical Validation in Current Hardware Architectures
A Note on Solving Problem 7 of the SIAM 100-Digit Challenge Using C-XSC
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
Communicating functional expressions from mathematica to C-XSC
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Verified Computation of Square Roots of a Matrix
SIAM Journal on Matrix Analysis and Applications
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
Using C-XSC for high performance verified computing
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
Verified spatial subdivision of implicit objects using implicit linear interval estimations
Proceedings of the 7th international conference on Curves and Surfaces
Arbitrary precision complex interval computations in C-XSC
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part II
| Hi-index | 0.01 |