Andrew Paul Smith

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A stochastic household model for vector-borne diseases	2022-02-24	Paper
Affine arithmetic and applications to real-number proving Interactive Theorem Proving	2015-09-14	Paper
Solving Linear Systems with Polynomial Parameter Dependency with Application to the Verified Solution of Problems in Structural Mechanics Optimization, Simulation, and Control	2015-03-30	Paper
Inclusion isotonicity of convex-concave extensions for polynomials based on Bernstein expansion Computing	2012-06-04	Paper
Fast construction of constant bound functions for sparse polynomials Journal of Global Optimization	2009-07-13	Paper
A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials Global Optimization and Constraint Satisfaction	2008-03-14	Paper
Accelerating Consistency Techniques and Prony’s Method for Reliable Parameter Estimation of Exponential Sums Global Optimization and Constraint Satisfaction	2008-03-14	Paper
Guaranteed parameter set estimation for exponential sums: the three-terms case Reliable Computing	2007-08-20	Paper
Investigation of a subdivision based algorithm for solving systems of polynomial equations. Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods	2004-08-26	Paper
scientific article; zbMATH DE number 2068058 (Why is no real title available?)	2004-05-27	Paper
Lower bound functions for polynomials Journal of Computational and Applied Mathematics	2003-08-25	Paper
scientific article; zbMATH DE number 1639656 (Why is no real title available?)	2002-06-23	Paper

Research outcomes over time

This page was built for person: Andrew Paul Smith