Warwick Tucker
Warwick Tucker
Professor of Mathematics, Monash University
Підтверджена електронна адреса в monash.edu - Домашня сторінка
Назва
Посилання
Посилання
Рік
The Lorenz attractor exists
W Tucker
Comptes Rendus de l'Académie des Sciences-Series I-Mathematics 328 (12 …, 1999
6091999
A rigorous ODE solver and Smale’s 14th problem
W Tucker
Foundations of Computational Mathematics 2 (1), 53-117, 2002
5592002
Validated numerics: a short introduction to rigorous computations
W Tucker
Princeton University Press, 2011
1962011
Computing accurate Poincaré maps
W Tucker
Physica D: Nonlinear Phenomena 171 (3), 127-137, 2002
722002
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
Estimating parameters for generalized mass action models using constraint propagation
W Tucker, Z Kutalik, V Moulton
Mathematical biosciences 208 (2), 607-620, 2007
592007
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
382009
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
361999
Rigorous parameter reconstruction for differential equations with noisy data
T Johnson, W Tucker
Automatica 44 (9), 2422-2426, 2008
352008
Parameter reconstruction for biochemical networks using interval analysis
W Tucker, V Moulton
Reliable computing 12 (5), 389-402, 2006
352006
CAMPARY: Cuda multiple precision arithmetic library and applications
M Joldes, JM Muller, V Popescu, W Tucker
International Congress on Mathematical Software, 232-240, 2016
332016
A note on the convergence of parametrised non-resonant invariant manifolds
T Johnson, W Tucker
Qualitative Theory of Dynamical Systems 10 (1), 107-121, 2011
242011
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
222009
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
212015
Rigorous study of short periodic orbits for the Lorenz system
Z Galias, W Tucker
2008 IEEE International Symposium on Circuits and Systems, 764-767, 2008
182008
Numerical study of coexisting attractors for the Hénon map
Z Galias, W Tucker
International Journal of Bifurcation and Chaos 23 (07), 1330025, 2013
172013
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
172013
Mapped regular pavings
J Harlow, R Sainudiin, W Tucker
University of Canterbury. Computer Science and Software Engineering, 2012
162012
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
152014
Robust normal forms for saddles of analytic vector fields
W Tucker
Nonlinearity 17 (5), 1965, 2004
152004
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20