Cited in
(22)- 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
- Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
- Validation of the bifurcation diagram in the 2D Ohta-Kawasaki problem
- 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
- DPCM
- INTLAB
- CL_MATCONT
- CkAnalytic
- DISODE45
- navierstokes
- 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
- RadiiPolynomial.jl
- 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
