Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141): Difference between revisions

@@ Property / cites work @@
+A Homoclinic Solution for Excitation Waves on a Contractile Substratum
+Normal rank
@@ Property / cites work @@
+Integration of Dissipative Partial Differential Equations: A Case Study
+Normal rank
@@ Property / cites work @@
+Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
+Normal rank
@@ Property / cites work @@
+Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level
+Normal rank
@@ Property / cites work @@
+The Numerical Computation of Connecting Orbits in Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Computation of maximal local (un)stable manifold patches by the parameterization method
+Normal rank
@@ Property / cites work @@
+Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds II: regularity with respect to parameters
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds. III: Overview and applications
+Normal rank
@@ Property / cites work @@
+A KAM theory for conformally symplectic systems: efficient algorithms and their validation
+Normal rank
@@ Property / cites work @@
+Parameterization Method for Computing Quasi-periodic Reducible Normally Hyperbolic Invariant Tori
+Normal rank
@@ Property / cites work @@
+A method to rigorously enclose eigendecompositions of interval matrices
+Normal rank
@@ Property / cites work @@
+Parameterization of Invariant Manifolds for Periodic Orbits I: Efficient Numerics via the Floquet Normal Form
+Normal rank
@@ Property / cites work @@
+Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
+Normal rank
@@ Property / cites work @@
+A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities
+Normal rank
@@ Property / cites work @@
+Validated Continuation for Equilibria of PDEs
@@ Property / cites work: Validated Continuation for Equilibria of PDEs / rank @@
+Normal rank
@@ Property / cites work @@
+Regularity of the composition operator in spaces of Hölder functions
+Normal rank
@@ Property / cites work @@
+Combination laws for scaling exponents and relation to the geometry of renormalization operators
+Normal rank
@@ Property / cites work @@
+Numerical computation of heteroclinic orbits
@@ Property / cites work: Numerical computation of heteroclinic orbits / rank @@
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of universality for area-preserving maps
+Normal rank
@@ Property / cites work @@
+A complete proof of the Feigenbaum conjectures
@@ Property / cites work: A complete proof of the Feigenbaum conjectures / rank @@
+Normal rank
@@ Property / cites work @@
+Reliable Computation of Robust Response Tori on the Verge of Breakdown
+Normal rank
@@ Property / cites work @@
+Rigorous computer-assisted application of KAM theory: a modern approach
+Normal rank
@@ Property / cites work @@
+Numerical Computation and Continuation of Invariant Manifolds Connecting Fixed Points
+Normal rank
@@ Property / cites work @@
+Computational methods for global analysis of homoclinic and heteroclinic orbits: A case study
+Normal rank
@@ Property / cites work @@
+A numerical study of infinitely renormalizable area-preserving maps
+Normal rank
@@ Property / cites work @@
+Period doubling in area-preserving maps: an associated one-dimensional problem
+Normal rank
@@ Property / cites work @@
+PERIOD DOUBLING RENORMALIZATION FOR AREA-PRESERVING MAPS AND MILD COMPUTER ASSISTANCE IN CONTRACTION MAPPING PRINCIPLE
+Normal rank
@@ Property / cites work @@
+Q5394922
@@ Property / cites work: Q5394922 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer assisted proof of chaos in the Lorenz equations
+Normal rank
@@ Property / cites work @@
+INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS
+Normal rank
@@ Property / cites work @@
+Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
+Normal rank
@@ Property / cites work @@
+Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
+Normal rank
@@ Property / cites work @@
+Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
+Normal rank
@@ Property / cites work @@
+Validated continuation over large parameter ranges for equilibria of PDEs
+Normal rank
@@ Property / cites work @@
+Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds. From rigorous results to effective computations
+Normal rank
@@ Property / cites work @@
+A parametrization method for the computation of invariant tori and their whiskers in quasi-periodic maps: numerical algorithms
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach
+Normal rank
@@ Property / cites work @@
+Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
+Normal rank
@@ Property / cites work @@
+Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence
+Normal rank
@@ Property / cites work @@
+Existence of critical invariant tori
@@ Property / cites work: Existence of critical invariant tori / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
+Normal rank
@@ Property / cites work @@
+Discrete-time travelling waves: Ecological examples
+Normal rank
@@ Property / cites work @@
+Discrete-time growth-dispersal models
@@ Property / cites work: Discrete-time growth-dispersal models / rank @@
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of the Feigenbaum conjectures
+Normal rank
@@ Property / cites work @@
+Q5179757
@@ Property / cites work: Q5179757 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics in Dynamics
@@ Property / cites work: Rigorous Numerics in Dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields
+Normal rank
@@ Property / cites work @@
+Spreading disease: Integro-differential equations old and new.
+Normal rank
@@ Property / cites work @@
+Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations
+Normal rank
@@ Property / cites work @@
+Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
+Normal rank
@@ Property / cites work @@
+Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
+Normal rank
@@ Property / cites work @@
+Computation of Heteroclinic Arcs with Application to the Volume Preserving Hénon Family
+Normal rank
@@ Property / cites work @@
+Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps
+Normal rank
@@ Property / cites work @@
+Parameterization of slow-stable manifolds and their invariant vector bundles: theory and numerical implementation
+Normal rank
@@ Property / cites work @@
+Chaos in the Lorenz equations: a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
+Normal rank
@@ Property / cites work @@
+Rigorous chaos verification in discrete dynamical systems
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous verification of chaotic behaviour of maps using validated shadowing
+Normal rank
@@ Property / cites work @@
+A Homoclinic Orbit in a Planar Singular ODE---A Computer Assisted Proof
+Normal rank
@@ Property / cites work @@
+The Lorenz attractor exists
@@ Property / cites work: The Lorenz attractor exists / rank @@
+Normal rank
@@ Property / cites work @@
+A rigorous ODE solver and Smale's 14th problem
@@ Property / cites work: A rigorous ODE solver and Smale's 14th problem / rank @@
+Normal rank
@@ Property / cites work @@
+Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
+Normal rank
@@ Property / cites work @@
+Chaotic Braided Solutions via Rigorous Numerics: Chaos in the Swift–Hohenberg Equation
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation
+Normal rank
@@ Property / cites work @@
+Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
+Normal rank
@@ Property / cites work @@
+Feigenbaum universality and the thermodynamic formalism
+Normal rank
@@ Property / cites work @@
+Integrodifference equations, Allee effects, and invasions
+Normal rank
@@ Property / cites work @@
+Symmetric Heteroclinic Connections in the Michelson System: A Computer Assisted Proof
+Normal rank
@@ Property / cites work @@
+The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof
+Normal rank
@@ Property / cites work @@
+Symmetric homoclinic solutions to the periodic orbits in the Michelson system
+Normal rank
@@ Property / cites work @@
+Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Rigorous and accurate enclosure of invariant manifolds on surfaces
+Normal rank
@@ Property / cites work @@
+A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
+Normal rank
@@ Property / cites work @@
+Life on the Move: Modeling the Effects of Climate-Driven Range Shifts with Integrodifference Equations
+Normal rank