Dear colleagues
Efficient Control of the Dependency Problem Based on Taylor Model Methods
New Methods for High-Dimensional Verified Quadrature
Solving Underdetermined Systems with Interval Methods*
Representing Knowledge within the Situation Calculus Using Interval-Valued Epistemic Fluents
How to Guarantee Finite Termination of Verifying Global Optimization Codes
Expression Templates for Dot Product Expressions
Error Estimation for Indirect Measurements
Solving Linear Systems with Error Control
SCAN-98