Andrew P. Smith

According to our database, Andrew P. Smith authored at least 10 papers between 2001 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

A Rigorous Generic Branch and Bound Solver for Nonlinear Problems.

Andrew P. Smith, César A. Muñoz, Anthony J. Narkawicz, Mantas Markevicius

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

Affine Arithmetic and Applications to Real-Number Proving.

Mariano M. Moscato, César A. Muñoz, Andrew P. Smith

Proceedings of the Interactive Theorem Proving - 6th International Conference, 2015

2014

Bifurcation analysis using rigorous branch and bound methods.

Andrew P. Smith, Luis G. Crespo, César A. Muñoz, Mark H. Lowenberg

Proceedings of the 2014 IEEE Conference on Control Applications, 2014

2012

Bounding the Range of a Rational Function over a box.

Anthony Narkawicz, Jürgen Garloff, Andrew P. Smith, César A. Muñoz

Reliab. Comput., 2012

Guest editors preface.

Jürgen Garloff, Andrew P. Smith

Reliab. Comput., 2012

2007

Guaranteed Parameter Set Estimation for Exponential Sums: The Three-Terms Case.

Jürgen Garloff, Ismail I. Idriss, Andrew P. Smith

Reliab. Comput., 2007

2003

Inclusion Isotonicity of Convex-Concave Extensions for Polynomials Based on Bernstein Expansion.

Jürgen Garloff, Christian Jansson, Andrew P. Smith

Computing, 2003

A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials.

Jürgen Garloff, Andrew P. Smith

Proceedings of the Global Optimization and Constraint Satisfaction, 2003

Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums.

Jürgen Garloff, Laurent Granvilliers, Andrew P. Smith

Proceedings of the Global Optimization and Constraint Satisfaction, 2003

2001

Solution of Systems of Polynomial Equation by Using Bernstein Expansion.

Jürgen Garloff, Andrew P. Smith

Proceedings of the Symbolic Algebraic Methods and Verification Methods, 2001