RODES

swMATH30194MaRDI QIDQ41908FDOQ41908

Author name not available (Why is that?)

Described by source

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

Cited In (only showing first 100 items - show all)

• A brief history of the most remarkable numbers \(\pi\), \(g\) and \(\delta \) in mathematical sciences with applications
• The Flow of ODEs
• A New Reliable Numerical Method for Computing Chaotic Solutions of Dynamical Systems: The Chen Attractor Case
• Computer-assisted proofs for radially symmetric solutions of PDEs
• On computer-assisted proving the existence of periodic and bounded orbits
• A Conley index study of the evolution of the Lorenz strange set
• Persistent heterodimensional cycles in periodic perturbations of Lorenz-like attractors
• The flow of ODEs: formalization of variational equation and Poincaré map
• Some statistical properties of almost Anosov diffeomorphisms
• Complex attractors and patterns in reaction-diffusion systems
• Analytic proof of the existence of the Lorenz attractor in the extended Lorenz model
• Computer assisted proof of the existence of the Lorenz attractor in the Shimizu–Morioka system
• On concentration properties of partially observed chaotic systems
• A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
• Interval analysis techniques for boundary value problems of elasticity in two dimensions
• A certificate-based approach to formally verified approximations
• 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
• Rigorous numerics for NLS: bound states, spectra, and controllability
• Entropy theory for sectional hyperbolic flows
• Computer-assisted proofs in PDE: a survey
• FOUR–DIMENSIONAL BRUSSELATOR MODEL WITH PERIODICAL SOLUTION
• Decay of correlations and laws of rare events for transitive random maps
• When chaos meets hyperchaos: 4D Rössler model
• Reduction methods and chaos for quadratic systems of differential equations
• Importance Sampling for Pathwise Sensitivity of Stochastic Chaotic Systems
• On the omega-limit sets of planar nonautonomous differential equations with nonpositive Lyapunov exponents
• A verified ODE solver and the Lorenz attractor
• Complete set of invariants for a Bykov attractor
• On-line motif detection in time series with SwiftMotif
• Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
• \(C^1\)-generic sectional axiom A flows have only trivial symmetries
• Computability of Differential Equations
• Computing geometric Lorenz attractors with arbitrary precision
• Adaptive constructive interval disjunction: algorithms and experiments
• Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
• Aggregated Negative Feedback in a Generalized Lorenz Model
• The existence of \( \omega \)-limit set for a modified Nosé-Hoover oscillator
• An Algorithmic Approach to Lattices and Order in Dynamics
• Wild pseudohyperbolic attractor in a four-dimensional Lorenz system
• Variance continuity for Lorenz flows
• Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
• Echo state networks trained by Tikhonov least squares are \(L^2(\mu)\) approximators of ergodic dynamical systems
• Asymptotic invariants of 3-dimensional vector fields
• Stochastic stability of the classical Lorenz flow under impulsive type forcing
• Statistical properties for flows with unbounded roof function, including the Lorenz attractor
• High-precision arithmetic in mathematical physics
• Homoclinic Orbits and Solitary Waves within the Nondissipative Lorenz Model and KdV Equation
• Minimizers of a free boundary problem on three-dimensional cones
• Complexity in a Hybrid van der Pol System
• Optimal Transport for Parameter Identification of Chaotic Dynamics via Invariant Measures
• Validated Spectral Stability via Conjugate Points
• Towards understanding the theoretical challenges of numerical modeling of dynamical systems
• Range-only SLAM with indistinguishable landmarks; a constraint programming approach
• Human photoplethysmogram through the Morse graph: Searching for the saddle point in experimental data
• Right-handed vector fields and the Lorenz attractor
• Area expanding \({\mathcal C^{1+\alpha}}\) suspension semiflows
• 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
• Borel–Cantelli lemmas and extreme value theory for geometric Lorenz models
• Breaking the limits: The Taylor series method
• Global dynamics in nonconservative nonlinear Schrödinger equations
• Molecular nonlinear dynamics and protein thermal uncertainty quantification
• Singular-hyperbolic attractors are chaotic
• A new twist on Lorenz links
• Convergent power series of \(\operatorname{sech}(x)\) and solutions to nonlinear differential equations
• Infinitesimal Lyapunov functions for singular flows
• A numerical algorithm for solving higher-order nonlinear BVPs with an application on fluid flow over a shrinking permeable infinite long cylinder
• 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
• Recent advances in a rigorous computation of Poincaré maps
• Computing accurate Poincaré maps
• From limit cycles to strange attractors
• Periodic orbits in Hořava-Lifshitz cosmologies
• Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
• Gestalt switches in Poincaré's prize paper: an inspiration for, but not an instance of, chaos
• Geometric Lorenz flows with historic behavior
• Normal forms application for studying solitary wave solutions of non-integrable evolution systems
• 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
• Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
• Maximal transport in the Lorenz equations
• Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem
• 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
• A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
• Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation
• Strange attractors. Topologic, geometric and algebraic aspects
• 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

This page was built for software: RODES