Andrew P. Smith

Publication Activity (10 Years)

Years Active: 2003-2015
Publications (10 Years): 2

Top Topics

Branch And Bound

Randomly Generated Problems

Integer Programming Problems

Top Venues

Reliab. Comput.

Publications

Andrew P. Smith, César A. Muñoz, Anthony J. Narkawicz, Mantas Markevicius
A Rigorous Generic Branch and Bound Solver for Nonlinear Problems. SYNASC (2015)
Mariano M. Moscato, César A. Muñoz, Andrew P. Smith
Affine Arithmetic and Applications to Real-Number Proving. ITP (2015)
Andrew P. Smith, Luis G. Crespo, César A. Muñoz, Mark H. Lowenberg
Bifurcation analysis using rigorous branch and bound methods. CCA (2014)
Anthony Narkawicz, Jürgen Garloff, Andrew P. Smith, César A. Muñoz
Bounding the Range of a Rational Function over a box. Reliab. Comput. 17 (2012)
Jürgen Garloff, Andrew P. Smith
Guest editors preface. Reliab. Comput. 17 (2012)
Jürgen Garloff, Ismail I. Idriss, Andrew P. Smith
Guaranteed Parameter Set Estimation for Exponential Sums: The Three-Terms Case. Reliab. Comput. 13 (4) (2007)
Jürgen Garloff, Christian Jansson, Andrew P. Smith
Inclusion Isotonicity of Convex-Concave Extensions for Polynomials Based on Bernstein Expansion. Computing 70 (2) (2003)
Jürgen Garloff, Laurent Granvilliers, Andrew P. Smith
Accelerating Consistency Techniques and Prony's Method for Reliable Parameter Estimation of Exponential Sums. COCOS (2003)
Jürgen Garloff, Andrew P. Smith
A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials. COCOS (2003)