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