swMATH30194MaRDI QIDQ41908FDOQ41908
Author name not available (Why is that?)
Official website: https://link.springer.com/content/pdf/10.1007%2Fs002080010018.pdf
Cited In (only showing first 100 items - show all)
- Area expanding \({\mathcal C^{1+\alpha}}\) suspension semiflows
- Type classes for efficient exact real arithmetic in \textsc{Coq}
- A numerical-analytical method for constructing periodic solutions of the Lorenz system
- Computation of Lyapunov functions for systems with multiple local attractors
- Spontaneous periodic orbits in the Navier-Stokes flow
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- Breaking the limits: The Taylor series method
- Singular-hyperbolic attractors are chaotic
- A new twist on Lorenz links
- Infinitesimal Lyapunov functions for singular flows
- Probability distribution for the number of cycles between successive regime transitions for the Lorenz model
- Thermodynamic formalism for contracting Lorenz flows
- Plate falling in a fluid: regular and chaotic dynamics of finite-dimensional models
- From limit cycles to strange attractors
- Periodic orbits in Hořava-Lifshitz cosmologies
- Gestalt switches in Poincaré's prize paper: an inspiration for, but not an instance of, chaos
- Motion of a falling card in a fluid: Finite-dimensional models, complex phenomena, and nonlinear dynamics
- Automatic differentiation for Fourier series and the radii polynomial approach
- Performance of the Taylor series method for ODEs/DAEs
- A database of rigorous and high-precision periodic orbits of the Lorenz model
- A novel Kalman filter formulation for improving tracking performance of the extended kernel RLS
- Turbulent chaos
- Sensitivity tools vs. Poincaré sections
- Hyperbolicity of 3-trip Lorenz knots
- Farey neighbors and hyperbolic Lorenz knots
- C-XSC
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
- POMULT
- INTLAB
- GAIO
- COPRIN
- DMC
- ValEncIA-IVP
- VERICOMP
- Flocq
- TIDES
- CAPD
- Cosy
- Arb
- ATOMFT
- Taylor
- DAETS
- VNODE
- Lorenz-Database
- galepu
- Bounds for the chaotic region in the Lorenz model
- A global perspective for non-conservative dynamics
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- CkAnalytic
- GniCodes
- MSLAM
- kepler98
- Global bifurcations to strange attractors in a model for skew varicose instability in thermal convection
- Coq Interval
- Affine Arithmetic
- Lp spaces
- Dictionary Construction
- Ordinary Differential Equations
- IntervalArithmetic.jl
- kv
- On the recurrence and robust properties of Lorenz'63 model
- periodic_sols
- Global topological properties of the Hopf bifurcation
- CAPD DynSys
- navierstokes
- Exponential decay of correlations for nonuniformly hyperbolic flows with a \(C^{1+\alpha}\) stable foliation, including the classical Lorenz attractor
- Covering relations, cone conditions and the stable manifold theorem
- Global optimal feedbacks for stochastic quantized nonlinear event systems
- The fractal property of the Lorenz attractor
- Parameter-shifted shadowing property for geometric Lorenz attractors
- Rapid mixing for the Lorenz attractor and statistical limit laws for their time-1 maps
- The Lorenz attractor is mixing
- Rigorous computation of a radially symmetric localized solution in a Ginzburg-Landau problem
- Borel-Cantelli lemmas and extreme value theory for geometric Lorenz models
- Globally exponentially attractive sets of the family of Lorenz systems
- Necessary and sufficient condition for the global stability of a delayed discrete-time single neuron model
- Partial synchronization: from symmetry towards stability
- Sources of uncertainty in deterministic dynamics: an informal overview
- Dynamics and control at feedback vertex sets. I: Informative and determining nodes in regulatory networks
- Analysis of the 3DVAR filter for the partially observed Lorenz '63 model
- Systematic computer assisted proofs of periodic orbits of Hamiltonian systems
- A note on the convergence of parametrised non-resonant invariant manifolds
- Partial classification of Lorenz knots: syllable permutations of torus knots words
- Transversal connecting orbits from shadowing
- Universal theory of dynamical chaos in nonlinear dissipative systems of differential equations
- Existence of heterodimensional cycles near shilnikov loops in systems with a \(\mathbb{Z}_2\) symmetry
- Right-handed vector fields and the Lorenz attractor
- Computer-assisted proofs for radially symmetric solutions of PDEs
- On computer-assisted proving the existence of periodic and bounded orbits
- Global dynamics in nonconservative nonlinear Schrödinger equations
- Molecular nonlinear dynamics and protein thermal uncertainty quantification
- Convergent power series of \(\operatorname{sech}(x)\) and solutions to nonlinear differential equations
- The flow of ODEs: formalization of variational equation and Poincaré map
- A numerical algorithm for solving higher-order nonlinear BVPs with an application on fluid flow over a shrinking permeable infinite long cylinder
- Complex attractors and patterns in reaction-diffusion systems
- Analytic proof of the existence of the Lorenz attractor in the extended Lorenz model
- Recent advances in a rigorous computation of Poincaré maps
- Computing accurate Poincaré maps
- A new reliable numerical method for computing chaotic solutions of dynamical systems: the Chen attractor case
- Interval analysis techniques for boundary value problems of elasticity in two dimensions
This page was built for software: RODES
