#17,593

Most Influential Person

Australian mathematician

Warwick Tuckermathematics Degrees

Mathematics

#917

World Rank

#1611

Historical Rank

Measure Theory

#4129

World Rank

#4861

Historical Rank

Mathematics

- PhD Mathematics University of Melbourne
- Bachelors Mathematics University of Melbourne

According to Wikipedia, Warwick Tucker is an Australian mathematician at Monash University who works on dynamical systems, chaos theory and computational mathematics. He is a recipient of the 2002 R. E. Moore Prize, and the 2004 EMS Prize.

- The Lorenz attractor exists (1999) (593)
- A Rigorous ODE Solver and Smale’s 14th Problem (2002) (496)
- Validated Numerics: A Short Introduction to Rigorous Computations (2011) (181)
- S-system parameter estimation for noisy metabolic profiles using newton-flow analysis. (2007) (57)
- Computing accurate Poincaré maps (2002) (56)
- Estimating parameters for generalized mass action models using constraint propagation. (2007) (55)
- CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications (2016) (42)
- Non-uniformly expanding dynamics in maps with singularities and criticalities (1999) (37)
- Rigorous parameter reconstruction for differential equations with noisy data (2008) (37)
- Enclosing all zeros of an analytic function - A rigorous approach (2009) (36)
- Parameter Reconstruction for Biochemical Networks Using Interval Analysis (2006) (29)
- A Note on the Convergence of Parametrised Non-Resonant Invariant Manifolds (2008) (27)
- A database of rigorous and high-precision periodic orbits of the Lorenz model (2015) (25)
- A rigorous lower bound for the stability regions of the quadratic map (2009) (24)
- Computer-assisted techniques for the verification of the Chebyshev property of Abelian integrals (2013) (23)
- Numerical Study of Coexisting attractors for the HéNon Map (2013) (18)
- Is the Hénon attractor chaotic? (2015) (15)
- Rigorous study of short periodic orbits for the Lorenz system (2008) (14)
- Mapped Regular Pavings (2012) (13)
- An Improved Lower Bound on the Number of Limit Cycles Bifurcating from a Hamiltonian Planar Vector Field of Degree 7 (2010) (11)
- On a computer-aided approach to the computation of Abelian integrals (2008) (11)
- Searching for Sinks for the Hénon Map using a Multipleprecision GPU Arithmetic Library (2014) (10)
- Robust normal forms for saddles of analytic vector fields (2004) (10)
- Automated computation of robust normal forms of planar analytic vector fields (2008) (9)
- Validated Study of the Existence of Short Cycles for Chaotic Systems Using Symbolic Dynamics and Interval Tools (2011) (8)
- Validated Numerics for Pedestrians (2005) (8)
- Short periodic orbits for the Lorenz system (2008) (7)
- An Improved Lower Bound on the Number of Limit Cycles Bifurcating from a quintic Hamiltonian Planar Vector Field under quintic Perturbation (2010) (6)
- Combination of exhaustive search and continuation method for the study of sinks in the Hénon map (2013) (6)
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition (2011) (6)
- On the structure of existence regions for sinks of the Hénon map. (2014) (6)
- Searching for sinks of Henon map using a multiple-precision GPU arithmetic library (2013) (6)
- Reconstructing Metabolic Networks Using Interval Analysis (2005) (6)
- Interval analysis techniques for boundary value problems of elasticity in two dimensions (2007) (4)
- Fixed points of a destabilized Kuramoto-Sivashinsky equation (2015) (4)
- A rigorous study of possible configurations of limit cycles bifurcating from a hyper-elliptic Hamiltonian of degree five (2009) (4)
- The Lorenz Attractor Exists – An Auto-Validated Proof (2002) (4)
- Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor (2019) (4)
- A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity (2012) (4)
- On a Fast and Accurate Method to Enclose All Zeros of an Analytic Function on a Triangulated Domain (2009) (4)
- Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21–26, 2014. Revised Selected Papers (2016) (3)
- A Mechatronically Measurable Double Pendulum for Machine Interval Experiments (2010) (3)
- Rigorous parameter estimation for noisy mixed-effects models (2010) (2)
- Symbolic dynamics based method for rigorous study of the existence of short cycles for chaotic systems (2009) (2)
- Computer assisted proofs in dynamical systems (2022) (2)
- Invertibility Properties of Singular Integral Operators Associated with the Lamé and Stokes Systems on Infinite Sectors in Two Dimensions (2017) (1)
- Computational algorithms for ordinary differential equations (2000) (1)
- Fundamentals of Chaos (2009) (1)
- A New Lower Bound on the Hilbert Number for Quartic Systems (2019) (1)
- The Number of Relative Equilibria in the PCR4BP (2022) (1)
- Optimal Design in Population Kinetic Experiments by Set-Valued Methods (2011) (1)
- Some counterexamples for the spectral-radius conjecture (2003) (1)
- On the Existence of the Double Scroll Attractor for the Chua's Circuit with a Smooth Nonlinearity (2018) (0)
- Rigorous models for the Lorenz equations (1996) (0)
- Parametrisation of local invariant manifolds (2008) (0)
- Eﬀicient and Validated Numerical Evaluation of Abelian Integrals (2022) (0)
- Is the H enon attractor chaotic ? (2015) (0)
- The Songling system has exactly four limit cycles (2022) (0)
- Validated numerics and Hilbert's 16th problem (2011) (0)
- Finding all solutions of stationary Kuramoto-Sivashinsky equations. (2017) (0)
- A systematic approach to find periodic sinks of the Henon map close to the classical case (2014) (0)
- Computer-Aided Proofs via Interval Analysis (2015) (0)
- Reviews (2003) (0)
- Lower bounds on the Hausdorff dimension of some Julia sets (2022) (0)
- B.R.A.I.N. 2001 - Improvements and Innovation (2001) (0)
- A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity (2011) (0)
- There and back again: Split and prune to tighten (2013) (0)
- Invertibility Properties of Singular Integral Operators Associated with the Lamé and Stokes Systems on Infinite Sectors in Two Dimensions (2017) (0)
- Fixed points of arbitrarily deep 1-dimensional neural networks (2023) (0)
- Revised Selected Papers of the 16th International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics - Volume 9553 (2014) (0)

This paper list is powered by the following services:

Warwick Tucker is affiliated with the following schools:

This website uses cookies to enhance the user experience. Read the Privacy Policy for more.