| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q6161867 | 2023-06-27 | Paper |
| Lower bounds on the Hausdorff dimension of some Julia sets | 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 | 2021-11-16 | Paper |
| Book Reviews | 2020-06-03 | Paper |
| Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor | 2019-06-21 | Paper |
| Fixed points of a destabilized Kuramoto-Sivashinsky equation | 2019-03-15 | Paper |
| Invertibility properties of singular integral operators associated with the Lamé and Stokes systems on infinite sectors in two dimensions | 2017-12-08 | Paper |
| On the structure of existence regions for sinks of the Hénon map | 2017-11-17 | Paper |
| Is the Hénon attractor chaotic? | 2017-11-17 | Paper |
| CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications | 2016-09-28 | Paper |
| A database of rigorous and high-precision periodic orbits of the Lorenz model | 2016-09-09 | Paper |
| NUMERICAL STUDY OF COEXISTING ATTRACTORS FOR THE HÉNON MAP | 2013-11-27 | Paper |
| Computer-assisted techniques for the verification of the Chebyshev property of abelian integrals | 2013-04-17 | Paper |
| On the global stability of a peer-to-peer network model | 2012-08-17 | Paper |
| A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity | 2012-05-23 | Paper |
| On a computer-aided approach to the computation of Abelian integrals | 2011-10-11 | Paper |
| A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition | 2011-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5198996 | 2011-08-11 | Paper |
| VALIDATED STUDY OF THE EXISTENCE OF SHORT CYCLES FOR CHAOTIC SYSTEMS USING SYMBOLIC DYNAMICS AND INTERVAL TOOLS | 2011-04-29 | Paper |
| A note on the convergence of parametrised non-resonant invariant manifolds | 2011-04-08 | Paper |
| AN IMPROVED LOWER BOUND ON THE NUMBER OF LIMIT CYCLES BIFURCATING FROM A HAMILTONIAN PLANAR VECTOR FIELD OF DEGREE 7 | 2010-09-01 | Paper |
| AN IMPROVED LOWER BOUND ON THE NUMBER OF LIMIT CYCLES BIFURCATING FROM A QUINTIC HAMILTONIAN PLANAR VECTOR FIELD UNDER QUINTIC PERTURBATION | 2010-04-09 | Paper |
| Automated computation of robust normal forms of planar analytic vector fields | 2009-12-16 | Paper |
| A rigorous lower bound for the stability regions of the quadratic map | 2009-10-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5190891 | 2009-07-27 | Paper |
| A rigorous study of possible configurations of limit cycles bifurcating from a hyper-elliptic Hamiltonian of degree five | 2009-07-16 | Paper |
| Enclosing all zeros of an analytic function - a rigorous approach | 2009-05-28 | Paper |
| Rigorous parameter reconstruction for differential equations with noisy data | 2009-01-30 | Paper |
| Estimating parameters for generalized mass action models using constraint propagation | 2007-10-09 | Paper |
| Interval analysis techniques for boundary value problems of elasticity in two dimensions | 2007-02-12 | Paper |
| Parameter reconstruction for biochemical networks using interval analysis | 2006-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5694921 | 2005-10-05 | Paper |
| Some counterexamples for the spectral-radius conjecture | 2005-09-27 | Paper |
| Robust normal forms for saddles of analytic vector fields | 2005-04-18 | Paper |
| Computing accurate Poincaré maps | 2002-09-10 | Paper |
| Non-uniformly expanding dynamics in maps with singularities and criticalities | 2002-02-07 | Paper |
| A rigorous ODE solver and Smale's 14th problem | 2002-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4762742 | 2001-02-22 | Paper |
| The Lorenz attractor exists | 1999-09-07 | Paper |
