Pages that link to "Item:Q3976858"
From MaRDI portal
The following pages link to Rigorous verification of trajectories for the computer simulation of dynamical systems (Q3976858):
Displaying 35 items.
- Global error analysis and inertial manifold reduction (Q298231) (← links)
- An optimization technique for verified location of trajectories with prescribed geometrical behaviour in the chaotic forced damped pendulum (Q301132) (← links)
- Computational complexity of iterated maps on the interval (Q449664) (← links)
- Cryptography with chaos and shadowing (Q603949) (← links)
- Model verification in dynamics through strict upper error bounds (Q649418) (← links)
- Dynamical structure functions at critical bifurcations in a Bonhoeffer-van der Pol equation. (Q815624) (← links)
- Towards a computer-assisted proof for chaos in a forced damped pendulum equation (Q861906) (← links)
- A noise reduction method for signals from nonlinear systems (Q994945) (← links)
- Computer-assisted verification of chaos in the model of nuclear spin generator (Q1030225) (← links)
- On the numerical computation of orbits of dynamical systems: The higher dimensional case (Q1203642) (← links)
- Shadows, chaos, and saddles (Q1308574) (← links)
- Transient measures in the standard map (Q1342199) (← links)
- Shadowing orbits of ordinary differential equations (Q1342915) (← links)
- A survey of shadowing methods for numerical solutions of ordinary differential equations (Q1772802) (← links)
- A shadowing theorem for ordinary differential equations (Q1805095) (← links)
- Hyperbolic trajectories of time discretizations (Q1887978) (← links)
- Proposing an MILP-based method for the experimental verification of difference-based trails: application to SPECK, SIMECK (Q1981795) (← links)
- Sensitivity analysis of chaotic systems using a frequency-domain shadowing approach (Q2112440) (← links)
- Influence of numerical noises on computer-generated simulation of spatio-temporal chaos (Q2120659) (← links)
- On the risks of using double precision in numerical simulations of spatio-temporal chaos (Q2124581) (← links)
- Validated simulation-based verification of delayed differential dynamics (Q2281633) (← links)
- Detecting unreliable computer simulations of recursive functions with interval extensions (Q2318236) (← links)
- Can we trust in numerical computations of chaotic solutions of dynamical systems? (Q2845091) (← links)
- On the Potential for Entangled States Between Chaotic Systems (Q3191235) (← links)
- Periodic orbit analysis at the onset of the unstable dimension variability and at the blowout bifurcation (Q3624811) (← links)
- RECONSIDERING TRIGONOMETRIC INTEGRATORS (Q3647122) (← links)
- PSEUDO-DETERMINISTIC CHAOTIC SYSTEMS (Q4655526) (← links)
- Economic Dynamics and Computation—Resurrecting the Icarus Tradition (Q4660038) (← links)
- Pseudo-orbit tracing property for random diffeomorphisms (Q4715343) (← links)
- Efficient Numerical Shadowing Global Error Estimation for High Dimensional Dissipative Systems (Q4822594) (← links)
- Shadowing-Based Data Assimilation Method for Partially Observed Models (Q5072976) (← links)
- On Reliable Computation of Lifetime in Transient Chaos (Q5158803) (← links)
- AN ANATOMY OF LAGRANGIAN CHAOS IN LOW REYNOLDS NUMBER FLOW BETWEEN TWO ECCENTRIC ROTATING CYLINDERS (Q5474327) (← links)
- Shadowing orbits of ordinary differential equations on invariant submanifolds (Q5690971) (← links)
- The Lorenz system: hidden boundary of practical stability and the Lyapunov dimension (Q6132329) (← links)
