Warwick Tucker

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 7

Top Topics

Integral Histogram

Initial Conditions

Dynamical Systems

Top Venues

Appl. Math. Comput.

Comput. Phys. Commun.

ACM Trans. Math. Softw.

Publications

Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker
Efficient and Validated Numerical Evaluation of Abelian Integrals. ACM Trans. Math. Softw. 50 (1) (2024)
Andrew Cook, Andy Hammerlindl, Warwick Tucker
Fixed points of arbitrarily deep 1-dimensional neural networks. CoRR (2023)
Maciej J. Capinski, Jason D. Mireles-James, Warwick Tucker, Daniel Wilczak, Jan Bouwe van den Berg
Computer assisted proofs in dynamical systems. Commun. Nonlinear Sci. Numer. Simul. 118 (2023)
Zbigniew Galias, Warwick Tucker
The Songling system has exactly four limit cycles. Appl. Math. Comput. 415 (2022)
Raazesh Sainudiin, Warwick Tucker, Tilo Wiklund
Scalable Multivariate Histograms. CoRR (2020)
Zbigniew Galias, Warwick Tucker
On the Existence of the Double Scroll Attractor for the Chua's Circuit with a Smooth Nonlinearity. ISCAS (2018)
Mioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker
CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications. ICMS (2016)
Ferenc A. Bartha, Warwick Tucker
Fixed points of a destabilized Kuramoto-Sivashinsky equation. Appl. Math. Comput. 266 (2015)
Roberto Barrio, Angeles Dena, Warwick Tucker
A database of rigorous and high-precision periodic orbits of the Lorenz model. Comput. Phys. Commun. 194 (2015)
Mioara Joldes, Valentina Popescu, Warwick Tucker
Searching for Sinks for the Hénon Map using a Multipleprecision GPU Arithmetic Library. SIGARCH Comput. Archit. News 42 (4) (2014)
Zbigniew Galias, Warwick Tucker
Numerical Study of Coexisting attractors for the HéNon Map. Int. J. Bifurc. Chaos 23 (7) (2013)
Zbigniew Galias, Warwick Tucker
Combination of exhaustive search and continuation method for the study of sinks in the Hénon map. ISCAS (2013)
Raazesh Sainudiin, Jennifer Harlow, Warwick Tucker
There and back again: Split and prune to tighten. FUZZ-IEEE (2013)
Jennifer Harlow, Raazesh Sainudiin, Warwick Tucker
Mapped Regular Pavings. Reliab. Comput. 16 (2012)
Zbigniew Galias, Warwick Tucker
Validated Study of the Existence of Short Cycles for Chaotic Systems Using Symbolic Dynamics and Interval Tools. Int. J. Bifurc. Chaos 21 (2) (2011)
Tomas Johnson, Warwick Tucker
An Improved Lower Bound on the Number of Limit Cycles Bifurcating from a Hamiltonian Planar Vector Field of Degree 7. Int. J. Bifurc. Chaos 20 (5) (2010)
Tomas Johnson, Warwick Tucker
An Improved Lower Bound on the Number of Limit Cycles Bifurcating from a quintic Hamiltonian Planar Vector Field under quintic Perturbation. Int. J. Bifurc. Chaos 20 (1) (2010)
Zbigniew Galias, Warwick Tucker
Symbolic Dynamics based Method for Rigorous Study of the Existence of Short Cycles for Chaotic Systems. ISCAS (2009)
Zbigniew Galias, Warwick Tucker
Rigorous study of short periodic orbits for the Lorenz system. ISCAS (2008)
Tomas Johnson, Warwick Tucker
Rigorous parameter reconstruction for differential equations with noisy data. Autom. 44 (9) (2008)
Warwick Tucker, Vincent Moulton
Parameter Reconstruction for Biochemical Networks Using Interval Analysis. Reliab. Comput. 12 (5) (2006)
Warwick Tucker, Vincent Moulton
Reconstructing Metabolic Networks Using Interval Analysis. WABI (2005)
Warwick Tucker
A Rigorous ODE Solver and Smale's 14th Problem. Found. Comput. Math. 2 (1) (2002)