Rigorous verification of saddle-node bifurcations in ODEs (Q307743): Difference between revisions

@@ Property / cites work @@
+Iterative improvement of componentwise error bounds of invariant subspaces belonging to a double or nearly double eigenvalue
+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 @@
+A method to rigorously enclose eigendecompositions of interval matrices
+Normal rank
@@ Property / cites work @@
+Q5472808
@@ Property / cites work: Q5472808 / rank @@
+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 @@
+Numerical methods in bifurcation problems. Lectures delivered at the Indian Institute of Science, Bangalore, under the T.I.F.R.-I.I.Sc. Programme in Applications of Mathematics. Notes by A. K. Nandakumaran and Mythily Ramaswamy
+Normal rank
@@ Property / cites work @@
+Rigorous verification of cocoon bifurcations in the Michelson system
+Normal rank
@@ Property / cites work @@
+Rigorous Verification of Bifurcations of Differential Equations via the Conley Index Theory
+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 @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational error bounds for multiple or nearly multiple eigenvalues
+Normal rank
@@ Property / cites work @@
+On eigenvector bounds
@@ Property / cites work: On eigenvector bounds / rank @@
+Normal rank
@@ Property / cites work @@
+On necessary and sufficient conditions for numerical verification of double turning points
+Normal rank
@@ Property / cites work @@
+Period doubling in the Rössler system -- a computer assisted proof
+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 @@
+Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
+Normal rank