Topological invariants, multivalued maps and computer assisted proofs in dynamics (Q1816695): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0898-1221(96)00127-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1966170046
@@ Property / OpenAlex ID: W1966170046 / rank @@
+Normal rank
@@ Property / cites work @@
+Chaos in the Lorenz equations: a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Q4310152
@@ Property / cites work: Q4310152 / 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 @@
+Theorems for a price: Tomorrow's semi-rigorous mathematical culture
+Normal rank
@@ Property / cites work @@
+Q3994368
@@ Property / cites work: Q3994368 / rank @@
+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 @@
+Existence of a Homoclinic Orbit of the Lorenz System by Precise Shooting
+Normal rank
@@ Property / cites work @@
+A computer proof that the Lorenz equations have ``chaotic'' solutions
+Normal rank
@@ Property / cites work @@
+Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of universality for area-preserving maps
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of the Feigenbaum conjectures
+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 @@
+A combinatorial procedure for finding isolating neighbourhoods and index pairs
+Normal rank
@@ Property / cites work @@
+Q4180600
@@ Property / cites work: Q4180600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3831552
@@ Property / cites work: Q3831552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4278147
@@ Property / cites work: Q4278147 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point index for iterations of maps, topological horseshoe and chaos
+Normal rank
@@ Property / cites work @@
+Leray Functor and Cohomological Conley Index for Discrete Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Conley index for discrete multi-valued dynamical systems
+Normal rank
@@ Property / cites work @@
+Isolating neighborhoods and chaos
@@ Property / cites work: Isolating neighborhoods and chaos / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithmic approach to the Conley index theory
+Normal rank
@@ Property / cites work @@
+Q5643279
@@ Property / cites work: Q5643279 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4838463
@@ Property / cites work: Q4838463 / rank @@
+Normal rank
@@ Property / cites work @@
+On structural stability of ordinary differential equations with respect to discretization methods
+Normal rank
@@ Property / cites work @@
+The Conley index and symbolic dynamics
@@ Property / cites work: The Conley index and symbolic dynamics / rank @@
+Normal rank