Pages that link to "Item:Q3454426"

The following pages link to A method to rigorously enclose eigendecompositions of interval matrices (Q3454426):

Displaying 17 items.

• Rigorous verification of saddle-node bifurcations in ODEs (Q307743) (← links)
• Novel estimations for the eigenvalue bounds of complex interval matrices (Q470841) (← links)
• Analytic enclosure of the fundamental matrix solution. (Q906995) (← links)
• Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (Q1616363) (← links)
• Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions (Q1753228) (← links)
• Rigorous numerics for NLS: bound states, spectra, and controllability (Q1999948) (← links)
• Spatial relative equilibria and periodic solutions of the Coulomb \((n+1)\)-body problem (Q2052903) (← links)
• Rigorous verification of Hopf bifurcations in functional differential equations of mixed type (Q2077832) (← links)
• Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds (Q2134139) (← links)
• A functional analytic approach to validated numerics for eigenvalues of delay equations (Q2192455) (← links)
• Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption (Q2297163) (← links)
• Rigorous validation of stochastic transition paths (Q2334873) (← links)
• Eigenvalues and delay differential equations: periodic coefficients, impulses and rigorous numerics (Q2665540) (← links)
• Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
• Extremizers and stability of the Betke-Weil inequality (Q6203859) (← links)