The following pages link to Warwick Tucker (Q312808):
Displaying 38 items.
- A database of rigorous and high-precision periodic orbits of the Lorenz model (Q312809) (← links)
- A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity (Q421136) (← links)
- On the global stability of a peer-to-peer network model (Q439914) (← links)
- On a computer-aided approach to the computation of Abelian integrals (Q639965) (← links)
- Fixed points of a destabilized Kuramoto-Sivashinsky equation (Q669365) (← links)
- Computing accurate Poincaré maps (Q696087) (← links)
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition (Q718434) (← links)
- A rigorous lower bound for the stability regions of the quadratic map (Q732357) (← links)
- Interval analysis techniques for boundary value problems of elasticity in two dimensions (Q863926) (← links)
- Rigorous parameter reconstruction for differential equations with noisy data (Q999062) (← links)
- Enclosing all zeros of an analytic function - a rigorous approach (Q1019813) (← links)
- Automated computation of robust normal forms of planar analytic vector fields (Q1045757) (← links)
- Non-uniformly expanding dynamics in maps with singularities and criticalities (Q1594560) (← links)
- A rigorous ODE solver and Smale's 14th problem (Q1601363) (← links)
- Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions (Q1683424) (← links)
- Computer-assisted techniques for the verification of the Chebyshev property of abelian integrals (Q1945874) (← links)
- The Songling system has exactly four limit cycles (Q2247142) (← links)
- Estimating parameters for generalized mass action models using constraint propagation (Q2382409) (← links)
- Some counterexamples for the spectral-radius conjecture (Q2388898) (← links)
- Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor (Q2423256) (← links)
- A note on the convergence of parametrised non-resonant invariant manifolds (Q2431079) (← links)
- Parameter reconstruction for biochemical networks using interval analysis (Q2503182) (← links)
- CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications (Q2819222) (← links)
- NUMERICAL STUDY OF COEXISTING ATTRACTORS FOR THE HÉNON MAP (Q2864933) (← links)
- VALIDATED STUDY OF THE EXISTENCE OF SHORT CYCLES FOR CHAOTIC SYSTEMS USING SYMBOLIC DYNAMICS AND INTERVAL TOOLS (Q2994880) (← links)
- AN IMPROVED LOWER BOUND ON THE NUMBER OF LIMIT CYCLES BIFURCATING FROM A HAMILTONIAN PLANAR VECTOR FIELD OF DEGREE 7 (Q3586858) (← links)
- The Lorenz attractor exists (Q4260037) (← links)
- On the structure of existence regions for sinks of the Hénon map (Q4591556) (← links)
- Is the Hénon attractor chaotic? (Q4591628) (← links)
- Robust normal forms for saddles of analytic vector fields (Q4667986) (← links)
- (Q4762742) (← links)
- Book Reviews (Q5113180) (← links)
- (Q5190891) (← links)
- (Q5198996) (← links)
- AN IMPROVED LOWER BOUND ON THE NUMBER OF LIMIT CYCLES BIFURCATING FROM A QUINTIC HAMILTONIAN PLANAR VECTOR FIELD UNDER QUINTIC PERTURBATION (Q5306415) (← links)
- A rigorous study of possible configurations of limit cycles bifurcating from a hyper-elliptic Hamiltonian of degree five (Q5321913) (← links)
- (Q5694921) (← links)
- Lower bounds on the Hausdorff dimension of some Julia sets (Q6039280) (← links)