swMATH15103MaRDI QIDQ26996FDOQ26996
Author name not available (Why is that?)
Official website: http://archimede.mat.ulaval.ca/jplessard/galepu/
Cited In (21)
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
- RadiiPolynomial.jl
- 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
- INTLAB
- CL_MATCONT
- Computational techniques to locate crossing/sliding regions and their sets of attraction in non-smooth dynamical systems
- CkAnalytic
- DISODE45
- navierstokes
- 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
