| Publication | Date of Publication | Type |
|---|
Computer-assisted proofs of gap solitons in Bose-Einstein condensates
Journal of Nonlinear Science | 2026-03-20 | Paper |
A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
Journal of Scientific Computing | 2025-01-27 | Paper |
Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points
Foundations of Computational Mathematics | 2024-11-29 | Paper |
Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
Journal of Differential Equations | 2024-11-12 | Paper |
Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
SIAM Journal on Applied Dynamical Systems | 2024-09-05 | Paper |
Numerical Computation of Transverse Homoclinic Orbits for Periodic Solutions of Delay Differential Equations
SIAM Journal on Applied Dynamical Systems | 2023-12-02 | Paper |
Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd
Nonlinearity | 2023-11-01 | Paper |
| Determination of stable branches of relative equilibria of the $N$-vortex problem on the sphere | 2023-09-08 | Paper |
Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs
SIAM Journal on Applied Dynamical Systems | 2023-08-07 | Paper |
Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
Journal of Nonlinear Science | 2023-05-03 | Paper |
Periodic orbits in Hořava-Lifshitz cosmologies
General Relativity and Gravitation | 2023-02-01 | Paper |
Rigorous numerics for nonlinear heat equations in the complex plane of time
Numerische Mathematik | 2022-06-28 | Paper |
| Towards computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points | 2022-06-18 | Paper |
Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach
Journal of Computational Dynamics | 2022-05-10 | Paper |
A general method for computer-assisted proofs of periodic solutions in delay differential problems
Journal of Dynamics and Differential Equations | 2022-05-06 | Paper |
Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds
Journal of Dynamics and Differential Equations | 2022-05-06 | Paper |
Periodic orbits in Ho\v{r}ava-Lifshitz cosmologies
(available as arXiv preprint) | 2022-03-07 | Paper |
Global dynamics in nonconservative nonlinear Schrödinger equations
Advances in Mathematics | 2022-03-04 | Paper |
Microscopic patterns in the 2D phase-field-crystal model
Nonlinearity | 2022-02-23 | Paper |
Rigorous verification of Hopf bifurcations in functional differential equations of mixed type
Physica D | 2022-02-22 | Paper |
Singularities and heteroclinic connections in complex-valued evolutionary equations with a quadratic nonlinearity
Communications in Nonlinear Science and Numerical Simulation | 2022-02-04 | Paper |
Spatial relative equilibria and periodic solutions of the Coulomb \((n+1)\)-body problem
Qualitative Theory of Dynamical Systems | 2021-11-29 | Paper |
A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
Journal of Dynamics and Differential Equations | 2021-11-19 | Paper |
Rigorous verification of Hopf bifurcations via desingularization and continuation
SIAM Journal on Applied Dynamical Systems | 2021-07-30 | Paper |
From the Lagrange polygon to the figure eight. I: Numerical evidence extending a conjecture of Marchal
Celestial Mechanics and Dynamical Astronomy | 2021-06-17 | Paper |
Spontaneous periodic orbits in the Navier-Stokes flow
Journal of Nonlinear Science | 2021-04-29 | Paper |
Free vibrations in a wave equation modeling MEMS
SIAM Journal on Applied Dynamical Systems | 2021-04-20 | Paper |
Torus knot choreographies in the \(n\)-body problem
Nonlinearity | 2021-01-29 | Paper |
| Validated forward integration scheme for parabolic PDEs via Chebyshev series | 2021-01-03 | Paper |
Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
Celestial Mechanics and Dynamical Astronomy | 2020-10-08 | Paper |
A functional analytic approach to validated numerics for eigenvalues of delay equations
Journal of Computational Dynamics | 2020-08-17 | Paper |
Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption
Journal of Computational and Applied Mathematics | 2020-02-18 | Paper |
Rigorous numerics for nonlinear heat equations in the complex plane of time
(available as arXiv preprint) | 2019-10-28 | Paper |
Automatic differentiation for Fourier series and the radii polynomial approach
Physica D | 2019-06-27 | Paper |
Continuation of solutions and studying delay differential equations via rigorous numerics
Rigorous Numerics in Dynamics | 2018-11-23 | Paper |
Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds
Journal of Dynamics and Differential Equations | 2018-11-06 | Paper |
Computing discrete convolutions with verified accuracy via Banach algebras and the FFT.
Applications of Mathematics | 2018-10-01 | Paper |
Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
Discrete and Continuous Dynamical Systems. Series B | 2018-09-05 | Paper |
Rigorous continuation of bifurcation points in the diblock copolymer equation
Journal of Computational Dynamics | 2018-08-08 | Paper |
Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
Archive for Rational Mechanics and Analysis | 2018-03-08 | Paper |
Rapidly and slowly oscillating periodic solutions of a delayed van der Pol oscillator
Journal of Dynamics and Differential Equations | 2018-01-26 | Paper |
Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
Journal of Differential Equations | 2018-01-11 | Paper |
Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof
Journal of Differential Equations | 2018-01-11 | Paper |
Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: a computer-assisted proof
European Journal of Applied Mathematics | 2017-11-24 | Paper |
Stability and uniqueness of slowly oscillating periodic solutions to Wright's equation
Journal of Differential Equations | 2017-09-28 | Paper |
A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
SIAM Journal on Applied Dynamical Systems | 2017-07-13 | Paper |
A posteriori verification of invariant objects of evolution equations: periodic orbits in the Kuramoto-Sivashinsky PDE
SIAM Journal on Applied Dynamical Systems | 2017-06-02 | Paper |
Computer assisted Fourier analysis in sequence spaces of varying regularity
SIAM Journal on Mathematical Analysis | 2017-03-09 | Paper |
Rigorous verification of saddle-node bifurcations in ODEs
Indagationes Mathematicae. New Series | 2016-09-05 | Paper |
Rigorous numerics in dynamics
Notices of the American Mathematical Society | 2016-06-15 | Paper |
Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
Foundations of Computational Mathematics | 2016-05-19 | Paper |
Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
Discrete and Continuous Dynamical Systems | 2016-03-09 | Paper |
Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
Mathematics of Computation | 2016-03-09 | Paper |
Analytic enclosure of the fundamental matrix solution.
Applications of Mathematics | 2016-02-01 | Paper |
Analytic enclosure of the fundamental matrix solution.
Applications of Mathematics | 2016-02-01 | Paper |
Computation of maximal local (un)stable manifold patches by the parameterization method
Indagationes Mathematicae. New Series | 2016-01-12 | Paper |
| A method to rigorously enclose eigenpairs of complex interval matrices. | 2015-11-24 | Paper |
A method to rigorously enclose eigenpairs of complex interval matrices.
(available as arXiv preprint) | 2015-11-24 | Paper |
Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series
Journal of Computational and Applied Mathematics | 2015-09-09 | Paper |
Stationary coexistence of hexagons and rolls via rigorous computations
SIAM Journal on Applied Dynamical Systems | 2015-06-23 | Paper |
Blow-up profile for solutions of a fourth order nonlinear equation
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2015-06-22 | Paper |
Parameterization of invariant manifolds for periodic orbits. I: Efficient numerics via the Floquet normal form
SIAM Journal on Applied Dynamical Systems | 2015-06-04 | Paper |
Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
Journal of Dynamics and Differential Equations | 2014-07-03 | Paper |
Rigorous numerics for nonlinear differential equations using Chebyshev series
SIAM Journal on Numerical Analysis | 2014-05-19 | Paper |
Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits
SIAM Journal on Applied Dynamical Systems | 2014-01-22 | Paper |
Rigorous numerics in Floquet theory: computing stable and unstable bundles of periodic orbits
SIAM Journal on Applied Dynamical Systems | 2014-01-22 | Paper |
Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
Acta Applicandae Mathematicae | 2013-12-05 | Paper |
Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
Acta Applicandae Mathematicae | 2013-12-05 | Paper |
Efficient rigorous numerics for higher-dimensional PDEs via one-dimensional estimates
SIAM Journal on Numerical Analysis | 2013-10-24 | Paper |
Computational fixed-point theory for differential delay equations with multiple time lags
Journal of Differential Equations | 2012-03-07 | Paper |
Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray-Scott equation
SIAM Journal on Mathematical Analysis | 2011-11-10 | Paper |
Existence of secondary bifurcations or isolas for PDEs
Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods | 2011-06-14 | Paper |
Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
Numerische Mathematik | 2011-04-08 | Paper |
Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
Journal of Differential Equations | 2010-10-22 | Paper |
Global smooth solution curves using rigorous branch following
Mathematics of Computation | 2010-08-30 | Paper |
Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
Journal of Differential Equations | 2010-03-17 | Paper |
Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
SIAM Journal on Applied Dynamical Systems | 2009-04-30 | Paper |
Validated continuation over large parameter ranges for equilibria of PDEs
Mathematics and Computers in Simulation | 2009-04-03 | Paper |
Validated Continuation for Equilibria of PDEs
SIAM Journal on Numerical Analysis | 2008-08-14 | Paper |
Rigorous computation of solutions of semi-linear PDEs on unbounded domains via spectral methods
(available as arXiv preprint) | N/A | Paper |
A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
(available as arXiv preprint) | N/A | Paper |
Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
(available as arXiv preprint) | N/A | Paper |
Cusp bifurcations: numerical detection via two-parameter continuation and computer-assisted proofs of existence
(available as arXiv preprint) | N/A | Paper |
