| Publication | Date of Publication | Type |
|---|
The number of relative equilibria in the PCR4BP
Journal of Dynamics and Differential Equations | 2024-10-01 | Paper |
Efficient and validated numerical evaluation of abelian integrals
ACM Transactions on Mathematical Software | 2024-09-12 | Paper |
scientific article; zbMATH DE number 7703307 (Why is no real title available?)
| 2023-06-27 | Paper |
Lower bounds on the Hausdorff dimension of some Julia sets
Nonlinearity | 2023-05-04 | Paper |
Nowhere coexpanding functions
| 2023-03-22 | Paper |
The number of relative equilibria in the PCR4PB
| 2022-04-19 | Paper |
The Songling system has exactly four limit cycles
Applied Mathematics and Computation | 2021-11-16 | Paper |
Book Reviews
SIAM Review | 2020-06-03 | Paper |
Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor
Journal of Differential Equations | 2019-06-21 | Paper |
Fixed points of a destabilized Kuramoto-Sivashinsky equation
Applied Mathematics and Computation | 2019-03-15 | Paper |
Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions
Integral Equations and Operator Theory | 2017-12-08 | Paper |
Is the Hénon attractor chaotic?
Chaos: An Interdisciplinary Journal of Nonlinear Science | 2017-11-17 | Paper |
On the structure of existence regions for sinks of the Hénon map
Chaos: An Interdisciplinary Journal of Nonlinear Science | 2017-11-17 | Paper |
CAMPARY: CUDA multiple precision arithmetic library and applications
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
A database of rigorous and high-precision periodic orbits of the Lorenz model
Computer Physics Communications | 2016-09-09 | Paper |
Numerical study of coexisting attractors for the Hénon map
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2013-11-27 | Paper |
Computer-assisted techniques for the verification of the Chebyshev property of abelian integrals
Journal of Differential Equations | 2013-04-17 | Paper |
On the global stability of a peer-to-peer network model
Operations Research Letters | 2012-08-17 | Paper |
A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity
NoDEA. Nonlinear Differential Equations and Applications | 2012-05-23 | Paper |
On a computer-aided approach to the computation of Abelian integrals
BIT | 2011-10-11 | Paper |
A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
Communications in Nonlinear Science and Numerical Simulation | 2011-09-23 | Paper |
Validated numerics. A short introduction to rigorous computations.
| 2011-08-11 | Paper |
Validated study of the existence of short cycles for chaotic systems using symbolic dynamics and interval tools
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2011-04-29 | Paper |
A note on the convergence of parametrised non-resonant invariant manifolds
Qualitative Theory of Dynamical Systems | 2011-04-08 | Paper |
An improved lower bound on the number of limit cycles bifurcating from a Hamiltonian planar vector field of degree 7
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2010-09-01 | Paper |
An improved lower bound on the number of limit cycles bifurcating from a quintic Hamiltonian planar vector quintic perturbation
International Journal of Bifurcation and Chaos in Applied Sciences and Engineering | 2010-04-09 | Paper |
Automated computation of robust normal forms of planar analytic vector fields
Discrete and Continuous Dynamical Systems. Series B | 2009-12-16 | Paper |
A rigorous lower bound for the stability regions of the quadratic map
Physica D | 2009-10-09 | Paper |
Fundamentals of chaos
| 2009-07-27 | Paper |
A rigorous study of possible configurations of limit cycles bifurcating from a hyper-elliptic Hamiltonian of degree five
Dynamical Systems | 2009-07-16 | Paper |
Enclosing all zeros of an analytic function - a rigorous approach
Journal of Computational and Applied Mathematics | 2009-05-28 | Paper |
Rigorous parameter reconstruction for differential equations with noisy data
Automatica | 2009-01-30 | Paper |
Estimating parameters for generalized mass action models using constraint propagation
Mathematical Biosciences | 2007-10-09 | Paper |
Interval analysis techniques for boundary value problems of elasticity in two dimensions
Journal of Differential Equations | 2007-02-12 | Paper |
Parameter reconstruction for biochemical networks using interval analysis
Reliable Computing | 2006-09-14 | Paper |
scientific article; zbMATH DE number 2212178 (Why is no real title available?)
| 2005-10-05 | Paper |
Some counterexamples for the spectral-radius conjecture
Differential and Integral Equations | 2005-09-27 | Paper |
Robust normal forms for saddles of analytic vector fields
Nonlinearity | 2005-04-18 | Paper |
Computing accurate Poincaré maps
Physica D | 2002-09-10 | Paper |
Non-uniformly expanding dynamics in maps with singularities and criticalities
Publications Mathématiques | 2002-02-07 | Paper |
A rigorous ODE solver and Smale's 14th problem
Foundations of Computational Mathematics | 2002-01-01 | Paper |
scientific article; zbMATH DE number 1569211 (Why is no real title available?)
| 2001-02-22 | Paper |
The Lorenz attractor exists
Comptes Rendus de l'Académie des Sciences - Series I - Mathematics | 1999-09-07 | Paper |
