Follow
Warwick Tucker
Warwick Tucker
Professor of Mathematics, Monash University
Verified email at monash.edu - Homepage
Title
Cited by
Cited by
Year
The Lorenz attractor exists
W Tucker
Comptes Rendus de l'Académie des Sciences-Series I-Mathematics 328 (12 …, 1999
7311999
A rigorous ODE solver and Smale’s 14th problem
W Tucker
Foundations of Computational Mathematics 2, 53-117, 2002
6962002
Validated numerics: a short introduction to rigorous computations
W Tucker
Princeton University Press, 2011
2802011
Computing accurate Poincaré maps
W Tucker
Physica D: Nonlinear Phenomena 171 (3), 127-137, 2002
932002
S-system parameter estimation for noisy metabolic profiles using newton-flow analysis
Z Kutalik, W Tucker, V Moulton
IET Systems Biology 1 (3), 174-180, 2007
682007
CAMPARY: Cuda multiple precision arithmetic library and applications
M Joldes, JM Muller, V Popescu, W Tucker
Mathematical Software–ICMS 2016: 5th International Conference, Berlin …, 2016
642016
Estimating parameters for generalized mass action models using constraint propagation
W Tucker, Z Kutalik, V Moulton
Mathematical biosciences 208 (2), 607-620, 2007
632007
Enclosing all zeros of an analytic function—A rigorous approach
T Johnson, W Tucker
Journal of Computational and Applied Mathematics 228 (1), 418-423, 2009
492009
Non-uniformly expanding dynamics in maps with singularities and criticalities
S Luzzatto, W Tucker
Publications Mathématiques de l'Institut des Hautes Études Scientifiques 89 …, 1999
411999
Rigorous parameter reconstruction for differential equations with noisy data
T Johnson, W Tucker
Automatica 44 (9), 2422-2426, 2008
372008
A database of rigorous and high-precision periodic orbits of the Lorenz model
R Barrio, A Dena, W Tucker
Computer Physics Communications 194, 76-83, 2015
352015
Parameter reconstruction for biochemical networks using interval analysis
W Tucker, V Moulton
Reliable computing 12 (5), 389-402, 2006
342006
A rigorous lower bound for the stability regions of the quadratic map
W Tucker, D Wilczak
Physica D: Nonlinear Phenomena 238 (18), 1923-1936, 2009
302009
A note on the convergence of parametrised non-resonant invariant manifolds
T Johnson, W Tucker
Qualitative Theory of Dynamical Systems 10, 107-121, 2011
282011
Is the Hénon attractor chaotic?
Z Galias, W Tucker
Chaos: An Interdisciplinary Journal of Nonlinear Science 25 (3), 2015
222015
Computer-assisted techniques for the verification of the Chebyshev property of Abelian integrals
JL Figueras, W Tucker, J Villadelprat
Journal of differential equations 254 (8), 3647-3663, 2013
222013
Numerical study of coexisting attractors for the Hénon map
Z Galias, W Tucker
International Journal of Bifurcation and Chaos 23 (07), 1330025, 2013
202013
Mapped regular pavings
J Harlow, R Sainudiin, W Tucker
University of Canterbury. Computer Science and Software Engineering, 2012
202012
Searching for sinks for the hénon map using a multipleprecision gpu arithmetic library
M Joldes, V Popescu, W Tucker
ACM SIGARCH Computer Architecture News 42 (4), 63-68, 2014
192014
Rigorous study of short periodic orbits for the Lorenz system
Z Galias, W Tucker
2008 IEEE International Symposium on Circuits and Systems (ISCAS), 764-767, 2008
182008
The system can't perform the operation now. Try again later.
Articles 1–20