Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation (Q5004084): Difference between revisions

@@ Property / author @@
-Jan Bouwe Van Den Berg
@@ Property / author: Jan Bouwe Van Den Berg / rank @@
-Normal rank
@@ Property / author @@
+Jan Bouwe Van Den Berg
@@ Property / author: Jan Bouwe Van Den Berg / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+COCO
@@ Property / describes a project that uses: COCO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MATCONT
@@ Property / describes a project that uses: MATCONT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XPPAUT
@@ Property / describes a project that uses: XPPAUT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+galepu
@@ Property / describes a project that uses: galepu / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CkAnalytic
@@ Property / describes a project that uses: CkAnalytic / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.13373
@@ Property / arXiv ID: 2006.13373 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
+Normal rank
@@ Property / cites work @@
+Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
+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 @@
+Recipes for Continuation
@@ Property / cites work: Recipes for Continuation / rank @@
+Normal rank
@@ Property / cites work @@
+New features of the software M<scp>at</scp>C<scp>ont</scp>for bifurcation analysis of dynamical systems
+Normal rank
@@ Property / cites work @@
+How well does the finite Fourier transform approximate the Fourier transform?
+Normal rank
@@ Property / cites work @@
+Simulating, Analyzing, and Animating Dynamical Systems
+Normal rank
@@ Property / cites work @@
+Rigorous computer-assisted application of KAM theory: a modern approach
+Normal rank
@@ Property / cites work @@
+Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
+Normal rank
@@ Property / cites work @@
+EFFECTIVE CONSTRUCTION OF POINCAR&amp;#201;-BENDIXSON REGIONS
+Normal rank
@@ Property / cites work @@
+Q3935355
@@ Property / cites work: Q3935355 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous verification of cocoon bifurcations in the Michelson system
+Normal rank
@@ Property / cites work @@
+Switching to nonhyperbolic cycles from codim 2 bifurcations of equilibria in ODEs
+Normal rank
@@ Property / cites work @@
+THE FOLD-FLIP BIFURCATION
@@ Property / cites work: THE FOLD-FLIP BIFURCATION / rank @@
+Normal rank
@@ Property / cites work @@
+Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation
+Normal rank
@@ Property / cites work @@
+Rigorous verification of saddle-node bifurcations in ODEs
+Normal rank
@@ Property / cites work @@
+Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
+Normal rank
@@ Property / cites work @@
+Automatic differentiation for Fourier series and the radii polynomial approach
+Normal rank
@@ Property / cites work @@
+Rigorous continuation of bifurcation points in the diblock copolymer equation
+Normal rank
@@ Property / cites work @@
+Hopf Bifurcation in a New Four-Dimensional Hyperchaotic System*
+Normal rank
@@ Property / cites work @@
+Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation
+Normal rank
@@ Property / cites work @@
+Spatial patterns. Higher order models in physics and mechanics
+Normal rank
@@ Property / cites work @@
+Q4093779
@@ Property / cites work: Q4093779 / rank @@
+Normal rank
@@ Property / cites work @@
+On necessary and sufficient conditions for numerical verification of double turning points
+Normal rank
@@ Property / cites work @@
+A proof of Wright's conjecture
@@ Property / cites work: A proof of Wright's conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Global smooth solution curves using rigorous branch following
+Normal rank
@@ Property / cites work @@
+A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
+Normal rank
@@ Property / cites work @@
+Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
+Normal rank
@@ Property / cites work @@
+Computer-assisted bifurcation diagram                     validation and applications in materials                     science
+Normal rank
@@ Property / cites work @@
+Period doubling in the Rössler system -- a computer assisted proof
+Normal rank
@@ Property / cites work @@
+Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
+Normal rank
@@ Property / OpenAlex ID @@
+W3149151118
@@ Property / OpenAlex ID: W3149151118 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5004084