RODES
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Area expanding \({\mathcal C^{1+\alpha}}\) suspension semiflows
- Right-handed vector fields and the Lorenz attractor
- Universal theory of dynamical chaos in nonlinear dissipative systems of differential equations
- Computation of Lyapunov functions for systems with multiple local attractors
- A brief history of the most remarkable numbers \(\pi\), \(g\) and \(\delta \) in mathematical sciences with applications
- Type classes for efficient exact real arithmetic in \textsc{Coq}
- A numerical-analytical method for constructing periodic solutions of the Lorenz system
- Computer-assisted proofs for radially symmetric solutions of PDEs
- Spontaneous periodic orbits in the Navier-Stokes flow
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis
- On computer-assisted proving the existence of periodic and bounded orbits
- A Conley index study of the evolution of the Lorenz strange set
- Breaking the limits: The Taylor series method
- Human photoplethysmogram through the Morse graph: searching for the saddle point in experimental data
- Global dynamics in nonconservative nonlinear Schrödinger equations
- Persistent heterodimensional cycles in periodic perturbations of Lorenz-like attractors
- Molecular nonlinear dynamics and protein thermal uncertainty quantification
- Singular-hyperbolic attractors are chaotic
- Convergent power series of \(\operatorname{sech}(x)\) and solutions to nonlinear differential equations
- A new twist on Lorenz links
- Aggregated negative feedback in a generalized Lorenz model
- The flow of ODEs: formalization of variational equation and Poincaré map
- Infinitesimal Lyapunov functions for singular flows
- Some statistical properties of almost Anosov diffeomorphisms
- 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
- Thermodynamic formalism for contracting Lorenz flows
- Probability distribution for the number of cycles between successive regime transitions for the Lorenz model
- Analytic proof of the existence of the Lorenz attractor in the extended Lorenz model
- Plate falling in a fluid: regular and chaotic dynamics of finite-dimensional models
- On concentration properties of partially observed chaotic systems
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Computing accurate Poincaré maps
- Recent advances in a rigorous computation of Poincaré maps
- From limit cycles to strange attractors
- Interval analysis techniques for boundary value problems of elasticity in two dimensions
- Gestalt switches in Poincaré's prize paper: an inspiration for, but not an instance of, chaos
- Periodic orbits in Hořava-Lifshitz cosmologies
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
- A new reliable numerical method for computing chaotic solutions of dynamical systems: the Chen attractor case
- Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series 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
- A general method for computer-assisted proofs of periodic solutions in delay differential problems
- Homoclinic orbits and solitary waves within the nondissipative Lorenz model and KdV equation
- Rigorous numerics for NLS: bound states, spectra, and controllability
- A certificate-based approach to formally verified approximations
- Geometric Lorenz flows with historic behavior
- Normal forms application for studying solitary wave solutions of non-integrable evolution systems
- Performance of the Taylor series method for ODEs/DAEs
- Automatic differentiation for Fourier series and the radii polynomial approach
- Entropy theory for sectional hyperbolic flows
- Motion of a falling card in a fluid: Finite-dimensional models, complex phenomena, and nonlinear dynamics
- Computer-assisted proofs in PDE: a survey
- Complexity in a hybrid van der Pol system
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
- Maximal transport in the Lorenz equations
- A database of rigorous and high-precision periodic orbits of the Lorenz model
- Optimal Transport for Parameter Identification of Chaotic Dynamics via Invariant Measures
- An algorithmic approach to lattices and order in dynamics
- Turbulent chaos
- When chaos meets hyperchaos: 4D Rössler model
- Decay of correlations and laws of rare events for transitive random maps
- A novel Kalman filter formulation for improving tracking performance of the extended kernel RLS
- Reduction methods and chaos for quadratic systems of differential equations
- C-XSC
- POMULT
- INTLAB
- GAIO
- COPRIN
- DMC
- ValEncIA-IVP
- VERICOMP
- Flocq
- TIDES
- CAPD
- Cosy
- Arb
- ATOMFT
- Taylor
- DAETS
- VNODE
- Lorenz-Database
- galepu
- CkAnalytic
- GniCodes
- MSLAM
- kepler98
- Coq Interval
- Affine Arithmetic
- Lp spaces
- Dictionary Construction
- Ordinary Differential Equations
- IntervalArithmetic.jl
- kv
- periodic_sols
- CAPD DynSys
- navierstokes
- Hyperbolicity of 3-trip Lorenz knots
- Sensitivity tools vs. Poincaré sections
This page was built for software: RODES
