On computer-assisted proving the existence of periodic and bounded orbits (Q2363617): Difference between revisions

@@ Property / describes a project that uses @@
+RODES
@@ Property / describes a project that uses: RODES / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+kepler98
@@ Property / describes a project that uses: kepler98 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1515/amsil-2015-0001
+Normal rank
@@ Property / OpenAlex ID @@
+W2221633345
@@ Property / OpenAlex ID: W2221633345 / rank @@
+Normal rank
@@ Property / cites work @@
+Every planar map is four colorable. I: Discharging
+Normal rank
@@ Property / cites work @@
+Every planar map is four colorable. II: Reducibility
+Normal rank
@@ Property / cites work @@
+A Computer-Assisted Proof of $\Sigma_3$-Chaos in the Forced Damped Pendulum Equation
+Normal rank
@@ Property / cites work @@
+Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP
+Normal rank
@@ Property / cites work @@
+Q4407702
@@ Property / cites work: Q4407702 / rank @@
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of universality for area-preserving maps
+Normal rank
@@ Property / cites work @@
+NUMERICAL STUDY OF COEXISTING ATTRACTORS FOR THE HÉNON MAP
+Normal rank
@@ Property / cites work @@
+Covering relations for multidimensional dynamical systems
+Normal rank
@@ Property / cites work @@
+A proof of the Kepler conjecture
@@ Property / cites work: A proof of the Kepler conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Double bubbles minimize
@@ Property / cites work: Double bubbles minimize / rank @@
+Normal rank
@@ Property / cites work @@
+Existence of a Homoclinic Orbit of the Lorenz System by Precise Shooting
+Normal rank
@@ Property / cites work @@
+A shooting approach to the Lorenz equations
@@ Property / cites work: A shooting approach to the Lorenz equations / rank @@
+Normal rank
@@ Property / cites work @@
+Interval arithmetic
@@ Property / cites work: Interval arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Proof of the double bubble conjecture
@@ Property / cites work: Proof of the double bubble conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight
+Normal rank
@@ Property / cites work @@
+The existence of simple choreographies for the<i>N</i>-body problem—a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+The Search for a Finite Projective Plane of Order 10
+Normal rank
@@ Property / cites work @@
+The Non-Existence of Finite Projective Planes of Order 10
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of the Feigenbaum conjectures
+Normal rank
@@ Property / cites work @@
+Q3831934
@@ Property / cites work: Q3831934 / rank @@
+Normal rank
@@ Property / cites work @@
+Deterministic Nonperiodic Flow
@@ Property / cites work: Deterministic Nonperiodic Flow / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of the Robbins problem
@@ Property / cites work: Solution of the Robbins problem / rank @@
+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 @@
+Chaos in the Lorenz equations: A computer assisted proof. III: Classical parameter values
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of Saari’s conjecture for the planar three-body problem
+Normal rank
@@ Property / cites work @@
+Leray Functor and Cohomological Conley Index for Discrete Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Q4863283
@@ Property / cites work: Q4863283 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological invariants, multivalued maps and computer assisted proofs in dynamics
+Normal rank
@@ Property / cites work @@
+Index pairs algorithms
@@ Property / cites work: Index pairs algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
+Normal rank
@@ Property / cites work @@
+A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps
+Normal rank
@@ Property / cites work @@
+Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer assisted proof
+Normal rank
@@ Property / cites work @@
+The four-colour theorem
@@ Property / cites work: The four-colour theorem / rank @@
+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 @@
+Chaos in the Kuramoto-Sivashinsky equations -- 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 @@
+Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Period doubling in the Rössler system -- a computer assisted proof
+Normal rank
@@ Property / cites work @@
+Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum
+Normal rank
@@ Property / cites work @@
+Computer assisted proof of chaos in the Rössler equations and in the Hénon map
+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