Rigorous numerics in dynamics
From MaRDI portal
Cited in
(70)- Computer-assisted proofs for radially symmetric solutions of PDEs
- Spontaneous periodic orbits in the Navier-Stokes flow
- Computing invariant sets of random differential equations using polynomial chaos
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- Branches and bifurcations of ejection-collision orbits in the planar circular restricted three body problem
- Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds
- Global dynamics in nonconservative nonlinear Schrödinger equations
- Chaotic motions in the restricted four body problem via Devaney's saddle-focus homoclinic tangle theorem
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
- Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
- Dynamics of waves and patterns. Abstracts from the workshop held August 8--14, 2021 (hybrid meeting)
- Rigorous validation of stochastic transition paths
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Validated integration of semilinear parabolic PDEs
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions
- Periodic orbits in Hořava-Lifshitz cosmologies
- Microscopic patterns in the 2D phase-field-crystal model
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
- Rigorously computing symmetric stationary states of the Ohta-Kawasaki problem in three dimensions
- Quasiperiodicity and blowup in integrable subsystems of nonconservative nonlinear Schrödinger equations
- Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach
- Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods
- A general method for computer-assisted proofs of periodic solutions in delay differential problems
- A Posteriori Validation of Generalized Polynomial Chaos Expansions
- Constructive proofs of existence and stability of solitary waves in the Whitham and capillary-gravity Whitham equations
- Automatic differentiation for Fourier series and the radii polynomial approach
- Computer-assisted proofs in PDE: a survey
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- Determination of stable branches of relative equilibria of the N-vortex problem on the sphere
- Connecting orbits for compact infinite dimensional maps: computer assisted proofs of existence
- Free vibrations in a wave equation modeling MEMS
- Computer‐assisted analysis of chaos in a three‐species food chain model
- Torus knot choreographies in the \(n\)-body problem
- Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces
- Data-driven identification of attractors using machine learning
- Computer-assisted proofs of gap solitons in Bose-Einstein condensates
- Rigorous computational dynamics in the context of unknown nonlinearities
- Validated matrix multiplication transform for orthogonal polynomials with applications to computer-assisted proofs for PDEs
- Continuation of solutions and studying delay differential equations via rigorous numerics
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations
- Discretization strategies for computing Conley indices and Morse decompositions of flows
- Validated numerics for continuation and bifurcation of connecting orbits of maps
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method
- Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence
- Existence and convergence of solutions of the boundary value problem in atomistic and continuum nonlinear elasticity theory
- A comparative study of validated Taylor and Chebyshev long time integration of ODEs
- Validated Spectral Stability via Conjugate Points
- Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points
- Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model
- When does a periodic response exist in a periodically forced multi-degree-of-freedom mechanical system?
- Validated error bounds for pseudospectral approximation of delay differential equations: local unstable manifolds
- Constructive proofs for some semilinear PDEs on \(H^2(e^{|x|^2/4}, \mathbb{R}^d)\)
- Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd
- Rigorous verification of Hopf bifurcations in functional differential equations of mixed type
- Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
- Validated numerical approximation of stable manifolds for parabolic partial differential equations
- A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
- Analysis of pandemic closing-reopening cycles using rigorous homotopy continuation: a case study with Montreal COVID-19 data
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
- Detecting random bifurcations via rigorous enclosures of large deviations rate functions
- Computer assisted existence proofs for parameterized cycle-to-cycle connections
- Asymptotic stability of sharp fronts: analysis and rigorous computation
- Persistence of Periodic Orbits under State-dependent Delayed Perturbations: Computer-assisted Proofs
- Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
This page was built for publication: Rigorous numerics in dynamics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2813138)
