| Publication | Date of Publication | Type |
|---|
Validated integration of semilinear parabolic PDEs
Numerische Mathematik | 2024-08-13 | Paper |
| Computer-assisted proofs for the many steady states of a chemotaxis model with local sensing | 2023-11-23 | Paper |
A Posteriori Validation of Generalized Polynomial Chaos Expansions
SIAM Journal on Applied Dynamical Systems | 2023-07-13 | Paper |
Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
The Annals of Applied Probability | 2023-06-05 | Paper |
| Validated integration of semilinear parabolic PDEs | 2023-05-14 | Paper |
Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
ESAIM: Mathematical Modelling and Numerical Analysis | 2022-05-09 | Paper |
On the influence of cross-diffusion in pattern formation
Journal of Computational Dynamics | 2021-08-02 | Paper |
Spontaneous periodic orbits in the Navier-Stokes flow
Journal of Nonlinear Science | 2021-04-29 | Paper |
| Computer-assisted proofs for some nonlinear diffusion problems | 2021-01-28 | Paper |
Computing invariant sets of random differential equations using polynomial chaos
SIAM Journal on Applied Dynamical Systems | 2020-04-21 | Paper |
Rigorous study of the equilibria of collision kernels appearing in the theory of weak turbulence
Archive for Rational Mechanics and Analysis | 2020-02-18 | Paper |
Rigorous validation of stochastic transition paths
Journal de Mathématiques Pures et Appliquées. Neuvième Série | 2019-11-08 | Paper |
Applications of improved duality lemmas to the discrete coagulation-fragmentation equations with diffusion
Kinetic and Related Models | 2019-01-29 | 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 |
Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
Journal of Differential Equations | 2018-03-12 | 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 |
Smoothness of moments of the solutions of discrete coagulation equations with diffusion
Monatshefte für Mathematik | 2017-07-20 | Paper |
Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
Discrete and Continuous Dynamical Systems | 2016-03-09 | Paper |
Computation of maximal local (un)stable manifold patches by the parameterization method
Indagationes Mathematicae. New Series | 2016-01-12 | 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 |
Constructive proofs for some semilinear PDEs on $H^2(e^{|x|^2/4},\mathbb{R}^d)$
(available as arXiv preprint) | N/A | Paper |
