RODES
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Covering relations, cone conditions and the stable manifold theorem
- Right-handed vector fields and the Lorenz attractor
- C-XSC
- GC-ubs-CAP
- POMULT
- HolPy
- The fractal property of the Lorenz attractor
- INTLAB
- Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation
- GAIO
- Convergent power series of \(\operatorname{sech}(x)\) and solutions to nonlinear differential equations
- A note on hidden transient chaos in the Lorenz system
- A verified ODE solver and the Lorenz attractor
- When chaos meets hyperchaos: 4D Rössler model
- COPRIN
- DMC
- ValEncIA-IVP
- Statistical properties for flows with unbounded roof function, including the Lorenz attractor
- The flow of ODEs: formalization of variational equation and Poincaré map
- Computer-assisted proofs for radially symmetric solutions of PDEs
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- Complex attractors and patterns in reaction-diffusion systems
- Performance of the Taylor series method for ODEs/DAEs
- A numerical algorithm for solving higher-order nonlinear BVPs with an application on fluid flow over a shrinking permeable infinite long cylinder
- Complete set of invariants for a Bykov attractor
- VERICOMP
- TIDES
- Flocq
- CAPD
- Cosy
- Arb
- Rigorous numerics for NLS: bound states, spectra, and controllability
- Automatic differentiation for Fourier series and the radii polynomial approach
- Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations
- Spontaneous periodic orbits in the Navier-Stokes flow
- Entropy theory for sectional hyperbolic flows
- On the omega-limit sets of planar nonautonomous differential equations with nonpositive Lyapunov exponents
- Echo state networks trained by Tikhonov least squares are \(L^2(\mu)\) approximators of ergodic dynamical systems
- Global dynamics in nonconservative nonlinear Schrödinger equations
- The existence of \( \omega \)-limit set for a modified Nosé-Hoover oscillator
- Minimizers of a free boundary problem on three-dimensional cones
- A novel Kalman filter formulation for improving tracking performance of the extended kernel RLS
- ATOMFT
- A general method for computer-assisted proofs of periodic solutions in delay differential problems
- Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach
- Recent advances in a rigorous computation of Poincaré maps
- Variance continuity for Lorenz flows
- Stochastic stability of the classical Lorenz flow under impulsive type forcing
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
- Some statistical properties of almost Anosov diffeomorphisms
- A Conley index study of the evolution of the Lorenz strange set
- On-line motif detection in time series with SwiftMotif
- Taylor
- Systematic computer assisted proofs of periodic orbits of Hamiltonian systems
- Computer-assisted proofs in PDE: a survey
- A brief history of the most remarkable numbers \(\pi\), \(g\) and \(\delta \) in mathematical sciences with applications
- \(C^1\)-generic sectional axiom A flows have only trivial symmetries
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- High-precision arithmetic in mathematical physics
- Partial classification of Lorenz knots: syllable permutations of torus knots words
- On computer-assisted proving the existence of periodic and bounded orbits
- Transversal connecting orbits from shadowing
- Probability distribution for the number of cycles between successive regime transitions for the Lorenz model
- VNODE
- Range-only SLAM with indistinguishable landmarks; a constraint programming approach
- Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor
- Globally exponentially attractive sets of the family of Lorenz systems
- A note on the convergence of parametrised non-resonant invariant manifolds
- Infinitesimal Lyapunov functions for singular flows
- DAETS
- Global topological properties of the Hopf bifurcation
- Sensitivity tools vs. Poincaré sections
- A global perspective for non-conservative dynamics
- Global bifurcations to strange attractors in a model for skew varicose instability in thermal convection
- Necessary and sufficient condition for the global stability of a delayed discrete-time single neuron model
- Computation of Lyapunov functions for systems with multiple local attractors
- Lorenz-Database
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Periodic orbits in Hořava-Lifshitz cosmologies
- galepu
- Coexistence and dynamical connections between hyperchaos and chaos in the 4D Rössler system: a computer-assisted proof
- Reduction methods and chaos for quadratic systems of differential equations
- The flow of ODEs
- Sources of uncertainty in deterministic dynamics: an informal overview
- Analytic proof of the existence of the Lorenz attractor in the extended Lorenz model
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- CkAnalytic
- A database of rigorous and high-precision periodic orbits of the Lorenz model
- Computing geometric Lorenz attractors with arbitrary precision
- Parameter-shifted shadowing property for geometric Lorenz attractors
- An algorithmic approach to lattices and order in dynamics
- Motion of a falling card in a fluid: Finite-dimensional models, complex phenomena, and nonlinear dynamics
- Hyperbolicity of 3-trip Lorenz knots
- GniCodes
- MSLAM
- Towards understanding the theoretical challenges of numerical modeling of dynamical systems
- A new twist on Lorenz links
- Exponential decay of correlations for nonuniformly hyperbolic flows with a \(C^{1+\alpha}\) stable foliation, including the classical Lorenz attractor
- Borel-Cantelli lemmas and extreme value theory for geometric Lorenz models
- kepler98
This page was built for software: RODES
