galepu

swMATH15103MaRDI QIDQ26996FDOQ26996

Author name not available (Why is that?)

Cited In (15)

• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
• Critical homoclinics in a restricted four-body problem: numerical continuation and center manifold computations
• Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
• Rigorous validation of stochastic transition paths
• Periodic orbits in Hořava-Lifshitz cosmologies
• Validation of the bifurcation diagram in the 2D Ohta-Kawasaki problem
• Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
• Automatic differentiation for Fourier series and the radii polynomial approach
• A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
• Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
• Continuation of solutions and studying delay differential equations via rigorous numerics
• Computational techniques to locate crossing/sliding regions and their sets of attraction in non-smooth dynamical systems
• Rigorous verification of Hopf bifurcations via desingularization and continuation
• Validated computation of heteroclinic sets
• Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof

This page was built for software: galepu