The Songling system has exactly four limit cycles von Galias, Zbigniew, Tucker, Warwick

Volltext

A rigorous lower bound for the stability regions of the quadratic map von Tucker, Warwick, Wilczak, Daniel

Volltext

Enclosing all zeros of an analytic function — A rigorous approach von Johnson, Tomas, Tucker, Warwick

Volltext

Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor von Galias, Zbigniew, Tucker, Warwick

Volltext

Lower bounds on the Hausdorff dimension of some Julia sets von Dudko, Artem, Gorbovickis, Igors, Tucker, Warwick

Volltext

A Rigorous ODE Solver and Smale’s 14th Problem von Tucker, Warwick

Volltext

Nowhere coexpanding functions von Cook, Andrew, Hammerlindl, Andy, Tucker, Warwick

Volltext

Scientific Computing, Computer Arithmetic, and Validated Numerics: 16th International Symposium, SCAN 2014, Würzburg, Germany, September 21-26, 2014. Revised Selected Papers von Nehmeier, Marco, Wolff von Gudenberg, Jürgen, Tucker, Warwick

Volltext

A database of rigorous and high-precision periodic orbits of the Lorenz model von Barrio, Roberto, Dena, Angeles, Tucker, Warwick

Volltext

Fixed points of a destabilized Kuramoto–Sivashinsky equation von Bartha, Ferenc A., Tucker, Warwick

Volltext

Efficient and Validated Numerical Evaluation of Abelian Integrals von Bréhard, Florent, Brisebarre, Nicolas, Joldes, Mioara, Tucker, Warwick

Volltext

Is the Hénon attractor chaotic? von Galias, Zbigniew, Tucker, Warwick

Volltext

Rigorous parameter reconstruction for differential equations with noisy data von Johnson, Tomas, Tucker, Warwick

Volltext

The Number of Relative Equilibria in the PCR4BP von Figueras, Jordi-Lluís, Tucker, Warwick, Zgliczynski, Piotr

Volltext

Enclosing all zeros of a system of analytic functions von Dahne, J., Ciappina, M.F., Tucker, W.

Volltext

Computer assisted proofs in dynamical systems von Mireles James, Jason D., Tucker, Warwick, Wilczak, Daniel, van den Berg, Jan Bouwe

Volltext

Invertibility Properties of Singular Integral Operators Associated with the Lamé and Stokes Systems on Infinite Sectors in Two Dimensions von Mitrea, Irina, Ott, Katharine, Tucker, Warwick

Volltext

Invertibility Properties of Singular Integral Operators Associated with the Lam, and Stokes Systems on Infinite Sectors in Two Dimensions von Mitrea, Irina, Ott, Katharine, Tucker, Warwick

Volltext

Rigorous study of short periodic orbits for the Lorenz system von Galias, Zbigniew, Tucker, Warwick

Volltext

On the structure of existence regions for sinks of the Hénon map von Galias, Zbigniew, Tucker, Warwick

Volltext