Pages that link to "Item:Q2038109"
From MaRDI portal
The following pages link to CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109):
Displaying 29 items.
- CAPD DynSys (Q55097) (← links)
- A study of rigorous ODE integrators for multi-scale set-oriented computations (Q289025) (← links)
- \textsc{BAL}: a library for the \textit{brute-force} analysis of dynamical systems (Q339357) (← links)
- \texttt{Code \(C\sharp\)} for chaos analysis of relativistic many-body systems (Q547059) (← links)
- Computer assisted proof of drift orbits along normally hyperbolic manifolds (Q2060658) (← links)
- On rigorous integration of continuous piecewise linear systems (Q2074155) (← links)
- From the Sharkovskii theorem to periodic orbits for the Rössler system (Q2074465) (← links)
- Oscillatory motions and parabolic manifolds at infinity in the planar circular restricted three body problem (Q2118888) (← links)
- Recent advances in a rigorous computation of Poincaré maps (Q2137186) (← links)
- Computer assisted proof of drift orbits along normally hyperbolic manifolds. II: Application to the restricted three body problem (Q2137348) (← links)
- The Songling system has exactly four limit cycles (Q2247142) (← links)
- Validated Spectral Stability via Conjugate Points (Q5037772) (← links)
- Lower bounds on the Hausdorff dimension of some Julia sets (Q6039280) (← links)
- Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem (Q6049736) (← links)
- Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems (Q6103996) (← links)
- Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs (Q6112545) (← links)
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem (Q6155309) (← links)
- A Posteriori Validation of Generalized Polynomial Chaos Expansions (Q6174000) (← links)
- Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system (Q6174359) (← links)
- Computer-assisted proofs of existence of KAM tori in planetary dynamical models of \(\upsilon\)-And \(\mathbf{b}\) (Q6183807) (← links)
- Rigorous numerical study of the Colpitts oscillator with an exponential nonlinearity (Q6571823) (← links)
- Validated integration of semilinear parabolic PDEs (Q6586798) (← links)
- High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of delay differential equations with several delays (Q6592119) (← links)
- Computer-assisted validation of the existence of periodic orbit in the Brusselator system (Q6593389) (← links)
- Breakdown of homoclinic orbits to \(L_3\): nonvanishing of the Stokes constant (Q6598505) (← links)
- Efficient and validated numerical evaluation of abelian integrals (Q6604153) (← links)
- The number of relative equilibria in the PCR4BP (Q6612577) (← links)
- Rigorous computation in dynamics based on topological methods for multivector fields (Q6645914) (← links)
- Characterising blenders via covering relations and cone conditions (Q6652152) (← links)
