Solution of Systems of Polynomial Equation by Using Bernstein Expansion. - Jürgen Garloff; Andrew P. Smith 001 (Symbolic Algebraic Methods and Verification Methods, 2001)

Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums. - Jürgen Garloff; Laurent Granvilliers; Andrew P. Smith 001 (COCOS, 2003)

A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials. - Jürgen Garloff; Andrew P. Smith 001 (COCOS, 2003)

Inclusion Isotonicity of Convex-Concave Extensions for Polynomials Based on Bernstein Expansion. - Jürgen Garloff; Christian Jansson; Andrew P. Smith 001 (Computing, 2003)

Guaranteed Parameter Set Estimation for Exponential Sums: The Three-Terms Case. - Jürgen Garloff; Ismail I. Idriss; Andrew P. Smith 001 (Reliab. Comput., 2007)

Guest editors preface. - Jürgen Garloff; Andrew P. Smith 001 (Reliab. Comput., 2012)

Bounding the Range of a Rational Function over a box. - Anthony Narkawicz; Jürgen Garloff; Andrew P. Smith 001; César A. Muñoz (Reliab. Comput., 2012)

Bifurcation analysis using rigorous branch and bound methods. - Andrew P. Smith 001; Luis G. Crespo; César A. Muñoz; Mark H. Lowenberg (CCA, 2014)

Affine Arithmetic and Applications to Real-Number Proving. - Mariano M. Moscato; César A. Muñoz; Andrew P. Smith 001 (ITP, 2015)

A Rigorous Generic Branch and Bound Solver for Nonlinear Problems. - Andrew P. Smith 001; César A. Muñoz; Anthony J. Narkawicz; Mantas Markevicius (SYNASC, 2015)