Warwick Tucker

27 papers B 1C 5Journal 18Unranked 1
YearRankTypeTitle / Venue / Authors
2024 J jnl
Efficient and Validated Numerical Evaluation of Abelian Integrals.
ACM Trans. Math. Softw.
Florent Bréhard, Nicolas Brisebarre, Mioara Joldes, Warwick Tucker
2023 J jnl
Computer assisted proofs in dynamical systems.
Commun. Nonlinear Sci. Numer. Simul.
Maciej J. Capinski, Jason D. Mireles-James, Warwick Tucker, Daniel Wilczak, Jan Bouwe van den Berg
2023 J jnl
Fixed points of arbitrarily deep 1-dimensional neural networks.
CoRR
Andrew Cook, Andy Hammerlindl, Warwick Tucker
2022 J jnl
The Songling system has exactly four limit cycles.
Appl. Math. Comput.
Zbigniew Galias, Warwick Tucker
2020 J jnl
Scalable Multivariate Histograms.
CoRR
Raazesh Sainudiin, Warwick Tucker, Tilo Wiklund
2019 J jnl
Enclosing all zeros of a system of analytic functions.
Appl. Math. Comput.
Joel Dahne, Marcelo F. Ciappina, Warwick Tucker
2018 C conf
On the Existence of the Double Scroll Attractor for the Chua's Circuit with a Smooth Nonlinearity.
ISCAS
Zbigniew Galias, Warwick Tucker
2016 — conf
CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications.
ICMS
Mioara Joldes, Jean-Michel Muller, Valentina Popescu, Warwick Tucker
2016 — ed.
Scientific Computing, Computer Arithmetic, and Validated Numerics - 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers
SCAN
Marco Nehmeier, Jürgen Wolff von Gudenberg, Warwick Tucker
2015 J jnl
A database of rigorous and high-precision periodic orbits of the Lorenz model.
Comput. Phys. Commun.
Roberto Barrio, Angeles Dena, Warwick Tucker
2015 J jnl
Fixed points of a destabilized Kuramoto-Sivashinsky equation.
Appl. Math. Comput.
Ferenc A. Bartha, Warwick Tucker
2014 J jnl
Searching for Sinks for the Hénon Map using a Multipleprecision GPU Arithmetic Library.
SIGARCH Comput. Archit. News
Mioara Joldes, Valentina Popescu, Warwick Tucker
2013 C conf
Combination of exhaustive search and continuation method for the study of sinks in the Hénon map.
ISCAS
Zbigniew Galias, Warwick Tucker
2013 J jnl
Numerical Study of Coexisting attractors for the HéNon Map.
Int. J. Bifurc. Chaos
Zbigniew Galias, Warwick Tucker
2013 B conf
There and back again: Split and prune to tighten.
FUZZ-IEEE
Raazesh Sainudiin, Jennifer Harlow, Warwick Tucker
2012 J jnl
Mapped Regular Pavings.
Reliab. Comput.
Jennifer Harlow, Raazesh Sainudiin, Warwick Tucker
2012 J jnl
On the global stability of a peer-to-peer network model.
Oper. Res. Lett.
O. Fogelklou, Takis Konstantopoulos, Warwick Tucker
2011 J jnl
Validated Study of the Existence of Short Cycles for Chaotic Systems Using Symbolic Dynamics and Interval Tools.
Int. J. Bifurc. Chaos
Zbigniew Galias, Warwick Tucker
2010 J jnl
An Improved Lower Bound on the Number of Limit Cycles Bifurcating from a Hamiltonian Planar Vector Field of Degree 7.
Int. J. Bifurc. Chaos
Tomas Johnson, Warwick Tucker
2010 J jnl
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
Tomas Johnson, Warwick Tucker
2009 — ch.
Fundamentals of Chaos.
Intelligent Computing Based on Chaos
Warwick Tucker
2009 C conf
Symbolic Dynamics based Method for Rigorous Study of the Existence of Short Cycles for Chaotic Systems.
ISCAS
Zbigniew Galias, Warwick Tucker
2008 J jnl
Rigorous parameter reconstruction for differential equations with noisy data.
Autom.
Tomas Johnson, Warwick Tucker
2008 C conf
Rigorous study of short periodic orbits for the Lorenz system.
ISCAS
Zbigniew Galias, Warwick Tucker
2006 J jnl
Parameter Reconstruction for Biochemical Networks Using Interval Analysis.
Reliab. Comput.
Warwick Tucker, Vincent Moulton
2005 C conf
Reconstructing Metabolic Networks Using Interval Analysis.
WABI
Warwick Tucker, Vincent Moulton
2002 J jnl
A Rigorous ODE Solver and Smale's 14th Problem.
Found. Comput. Math.
Warwick Tucker