RODES

swMATH30194MaRDI QIDQ41908

No author found.

Described by source

• A rigorous ODE solver and Smale's 14th problem

Related Items (only showing first 100 items - show all)

Parameter-shifted shadowing property for geometric Lorenz attractors ⋮ On computer-assisted proving the existence of periodic and bounded orbits ⋮ Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation ⋮ 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 ⋮ Transversal connecting orbits from shadowing ⋮ Bounds for the chaotic region in the Lorenz model ⋮ An Algorithmic Approach to Lattices and Order in Dynamics ⋮ A database of rigorous and high-precision periodic orbits of the Lorenz model ⋮ Probability distribution for the number of cycles between successive regime transitions for the Lorenz model ⋮ Hyperbolicity of 3-trip Lorenz knots ⋮ A maximum entropy method for particle filtering ⋮ Exponential decay of correlations for nonuniformly hyperbolic flows with a \(C^{1+\alpha}\) stable foliation, including the classical Lorenz attractor ⋮ Convergent power series of \(\operatorname{sech}(x)\) and solutions to nonlinear differential equations ⋮ Interval analysis techniques for boundary value problems of elasticity in two dimensions ⋮ Range-only SLAM with indistinguishable landmarks; a constraint programming approach ⋮ A note on hidden transient chaos in the Lorenz system ⋮ A verified ODE solver and the Lorenz attractor ⋮ Normal forms application for studying solitary wave solutions of non-integrable evolution systems ⋮ Dynamics and control at feedback vertex sets. I: Informative and determining nodes in regulatory networks ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Analysis of the 3DVAR filter for the partially observed Lorenz '63 model ⋮ When chaos meets hyperchaos: 4D Rössler model ⋮ Area expanding \({\mathcal C^{1+\alpha}}\) suspension semiflows ⋮ Strange attractors. Topologic, geometric and algebraic aspects ⋮ Gestalt switches in Poincaré's prize paper: an inspiration for, but not an instance of, chaos ⋮ Variance continuity for Lorenz flows ⋮ Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor ⋮ Periodic orbits in Hořava-Lifshitz cosmologies ⋮ Analytic proof of the existence of the Lorenz attractor in the extended Lorenz model ⋮ Globally exponentially attractive sets of the family of Lorenz systems ⋮ Adaptive constructive interval disjunction: algorithms and experiments ⋮ A note on the convergence of parametrised non-resonant invariant manifolds ⋮ Stochastic stability of the classical Lorenz flow under impulsive type forcing ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ Infinitesimal Lyapunov functions for singular flows ⋮ On a computer-aided approach to the computation of Abelian integrals ⋮ On the recurrence and robust properties of Lorenz'63 model ⋮ Statistical properties for flows with unbounded roof function, including the Lorenz attractor ⋮ Computer assisted proofs of two-dimensional attracting invariant tori for ODEs ⋮ Some statistical properties of almost Anosov diffeomorphisms ⋮ Turbulent chaos ⋮ The flow of ODEs: formalization of variational equation and Poincaré map ⋮ A Conley index study of the evolution of the Lorenz strange set ⋮ Computer-assisted proofs for radially symmetric solutions of PDEs ⋮ The fractal property of the Lorenz attractor ⋮ Global optimal feedbacks for stochastic quantized nonlinear event systems ⋮ An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs ⋮ Global topological properties of the Hopf bifurcation ⋮ Plate falling in a fluid: regular and chaotic dynamics of finite-dimensional models ⋮ Complex attractors and patterns in reaction-diffusion systems ⋮ Existence of heterodimensional cycles near shilnikov loops in systems with a \(\mathbb{Z}_2\) symmetry ⋮ Rigorous numerics for NLS: bound states, spectra, and controllability ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Computing accurate Poincaré maps ⋮ Sensitivity tools vs. Poincaré sections ⋮ Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds ⋮ Thermodynamic formalism for contracting Lorenz flows ⋮ A global perspective for non-conservative dynamics ⋮ Partial synchronization: from symmetry towards stability ⋮ Breaking the limits: The Taylor series method ⋮ Performance of the Taylor series method for ODEs/DAEs ⋮ On-line motif detection in time series with SwiftMotif ⋮ From limit cycles to strange attractors ⋮ 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 ⋮ A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition ⋮ Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof ⋮ Entropy theory for sectional hyperbolic flows ⋮ Global bifurcations to strange attractors in a model for skew varicose instability in thermal convection ⋮ Geometric Lorenz flows with historic behavior ⋮ A numerical algorithm for solving higher-order nonlinear BVPs with an application on fluid flow over a shrinking permeable infinite long cylinder ⋮ Necessary and sufficient condition for the global stability of a delayed discrete-time single neuron model ⋮ Unnamed Item ⋮ Maximal transport in the Lorenz equations ⋮ Complete set of invariants for a Bykov attractor ⋮ On the omega-limit sets of planar nonautonomous differential equations with nonpositive Lyapunov exponents ⋮ Reduction Methods and Chaos for Quadratic Systems of Differential Equations ⋮ Covering relations, cone conditions and the stable manifold theorem ⋮ Systematic computer assisted proofs of periodic orbits of Hamiltonian systems ⋮ Rapid mixing for the Lorenz attractor and statistical limit laws for their time-1 maps ⋮ The Flow of ODEs ⋮ Computer-assisted proofs in PDE: a survey ⋮ A brief history of the most remarkable numbers \(\pi\), \(g\) and \(\delta \) in mathematical sciences with applications ⋮ Echo state networks trained by Tikhonov least squares are \(L^2(\mu)\) approximators of ergodic dynamical systems ⋮ A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line ⋮ Global dynamics in nonconservative nonlinear Schrödinger equations ⋮ Right-handed vector fields and the Lorenz attractor ⋮ Response and sensitivity using Markov chains ⋮ The existence of \( \omega \)-limit set for a modified Nosé-Hoover oscillator ⋮ \(C^1\)-generic sectional axiom A flows have only trivial symmetries ⋮ Minimizers of a free boundary problem on three-dimensional cones ⋮ Computing geometric Lorenz attractors with arbitrary precision ⋮ Rigorous integration of non-linear ordinary differential equations in Chebyshev basis ⋮ High-precision arithmetic in mathematical physics ⋮ Computation of Lyapunov functions for systems with multiple local attractors ⋮ The Lorenz attractor is mixing ⋮ Partial classification of Lorenz knots: syllable permutations of torus knots words ⋮ A novel Kalman filter formulation for improving tracking performance of the extended kernel RLS

This page was built for software: RODES