Rigorous computations for nonlinear partial differential equations
Analysis of Functional Integral Equations, Generalized Ordinary Differential Equat...
Parallel Marching Hypercubes Algorithm with Applications to Rigorous Proofs
Detecting k-hyperbolic orbits and period-doubling bifurcations
On periodic solutions of differential equations with delay and impulses
Symmetry theory-based approaches for the computation of mode shapes of vibrating s...