Equilibrium solutions for PDEs using Chebyshev basis

The golden ratio and the Fibonacci sequence

Topological data analysis: applications in machine learning

Rigorous construction of manifolds of solutions of PDEs

Numerial solution of partial equations implicit first order

Rigorous numerics applied to systems of ordinary differential equations

Exact multiplicity of solutions of differential equations via computer-assisted...

Computer assisted proof for ordinary differential equations

On The Enclosure of Solutions of Nonlinear Equations in Banach Space with Application...

Rigorous computation of invariant manifolds