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
• Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
• Continuation of solutions and studying delay differential equations via rigorous numerics
• Validated Computation of Heteroclinic Sets
• 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
• Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
• Automatic differentiation for Fourier series and the radii polynomial approach
• A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
• Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof
• Computational techniques to locate crossing/sliding regions and their sets of attraction in non-smooth dynamical systems
• Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
• Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model

This page was built for software: galepu