A Family of Variable-Precision Interval Arithmetic Processors
IEEE Transactions on Computers
Multisection in Interval Branch-and-Bound Methods for Global Optimization II. Numerical Tests
Journal of Global Optimization
Using Interval Analysis for Solving Planar Single-Facility Location Problems: New Discarding Tests
Journal of Global Optimization
A Priori Worst Case Error Bounds for Floating-Point Computations
IEEE Transactions on Computers
Self-validating integration and approximation of piecewise analytic functions
Journal of Computational and Applied Mathematics
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Journal of Computational and Applied Mathematics - Proceedings of the international conference on recent advances in computational mathematics
Aspects for a block version of the interval Cholesky algorithm
Journal of Computational and Applied Mathematics - Proceedings of the international conference on recent advances in computational mathematics
Portable Multiprecision Arithmetic Package Based on Message Passing Interface
PAS '97 Proceedings of the 2nd AIZU International Symposium on Parallel Algorithms / Architecture Synthesis
ACM Transactions on Mathematical Software (TOMS)
Complex standard functions and their implementation in the CoStLy library
ACM Transactions on Mathematical Software (TOMS)
On computer-assisted proofs for solutions of linear complementarity problems
Journal of Computational and Applied Mathematics - Special issue: Scientific computing, computer arithmetic, and validated numerics (SCAN 2004)
A second-order pruning step for verified global optimization
Journal of Global Optimization
Constraint Reasoning for Differential Models
Proceedings of the 2005 conference on Constraint Reasoning for Differential Models
Technical Communique: Template generation for continuous transfer functions using interval analysis
Automatica (Journal of IFAC)
| Hi-index | 0.01 |