Warwick Tucker

According to our database, Warwick Tucker authored at least 26 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Efficient and Validated Numerical Evaluation of Abelian Integrals.

Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker

ACM Trans. Math. Softw., March, 2024

2023

Computer assisted proofs in dynamical systems.

Maciej J. Capinski, Jason D. Mireles-James, Warwick Tucker, Daniel Wilczak, Jan Bouwe van den Berg

Commun. Nonlinear Sci. Numer. Simul., April, 2023

Fixed points of arbitrarily deep 1-dimensional neural networks.

Andrew Cook, Andy Hammerlindl, Warwick Tucker

CoRR, 2023

2022

The Songling system has exactly four limit cycles.

Zbigniew Galias, Warwick Tucker

Appl. Math. Comput., 2022

2020

Scalable Multivariate Histograms.

Raazesh Sainudiin, Warwick Tucker, Tilo Wiklund

CoRR, 2020

2019

Enclosing all zeros of a system of analytic functions.

Joel Dahne, M. F. Ciappina, Warwick Tucker

Appl. Math. Comput., 2019

2018

On the Existence of the Double Scroll Attractor for the Chua's Circuit with a Smooth Nonlinearity.

Zbigniew Galias, Warwick Tucker

Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

2016

CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications.

Mioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker

Proceedings of the Mathematical Software - ICMS 2016, 2016

2015

A database of rigorous and high-precision periodic orbits of the Lorenz model.

Roberto Barrio, Angeles Dena, Warwick Tucker

Comput. Phys. Commun., 2015

Fixed points of a destabilized Kuramoto-Sivashinsky equation.

Ferenc A. Bartha, Warwick Tucker

Appl. Math. Comput., 2015

2014

Searching for Sinks for the Hénon Map using a Multipleprecision GPU Arithmetic Library.

Mioara Joldes, Valentina Popescu, Warwick Tucker

SIGARCH Comput. Archit. News, 2014

2013

Numerical Study of Coexisting attractors for the HéNon Map.

Zbigniew Galias, Warwick Tucker

Int. J. Bifurc. Chaos, 2013

Combination of exhaustive search and continuation method for the study of sinks in the Hénon map.

Zbigniew Galias, Warwick Tucker

Proceedings of the 2013 IEEE International Symposium on Circuits and Systems (ISCAS2013), 2013

There and back again: Split and prune to tighten.

Raazesh Sainudiin, Jennifer Harlow, Warwick Tucker

Proceedings of the FUZZ-IEEE 2013, 2013

2012

Mapped Regular Pavings.

Jennifer Harlow, Raazesh Sainudiin, Warwick Tucker

Reliab. Comput., 2012

On the global stability of a peer-to-peer network model.

O. Fogelklou, Takis Konstantopoulos, Warwick Tucker

Oper. Res. Lett., 2012

2011

Validated Study of the Existence of Short Cycles for Chaotic Systems Using Symbolic Dynamics and Interval Tools.

Zbigniew Galias, Warwick Tucker

Int. J. Bifurc. Chaos, 2011

2010

An Improved Lower Bound on the Number of Limit Cycles Bifurcating from a Hamiltonian Planar Vector Field of Degree 7.

Tomas Johnson, Warwick Tucker

Int. J. Bifurc. Chaos, 2010

An Improved Lower Bound on the Number of Limit Cycles Bifurcating from a quintic Hamiltonian Planar Vector Field under quintic Perturbation.

Tomas Johnson, Warwick Tucker

Int. J. Bifurc. Chaos, 2010

2009

Fundamentals of Chaos.

Warwick Tucker

Proceedings of the Intelligent Computing Based on Chaos, 2009

Symbolic Dynamics based Method for Rigorous Study of the Existence of Short Cycles for Chaotic Systems.

Zbigniew Galias, Warwick Tucker

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2009), 2009

2008

Rigorous parameter reconstruction for differential equations with noisy data.

Tomas Johnson, Warwick Tucker

Autom., 2008

Rigorous study of short periodic orbits for the Lorenz system.

Zbigniew Galias, Warwick Tucker

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2008), 2008

2006

Parameter Reconstruction for Biochemical Networks Using Interval Analysis.

Warwick Tucker, Vincent Moulton

Reliab. Comput., 2006

2005

Reconstructing Metabolic Networks Using Interval Analysis.

Warwick Tucker, Vincent Moulton

Proceedings of the Algorithms in Bioinformatics, 5th International Workshop, 2005

2002

A Rigorous ODE Solver and Smale's 14th Problem.

Warwick Tucker

Found. Comput. Math., 2002