Computer-assisted existence proofs for two-point boundary value problems
From MaRDI portal
Publication:1174351
DOI10.1007/BF02239009zbMath0782.65107MaRDI QIDQ1174351
Publication date: 25 June 1992
Published in: Computing (Search for Journal in Brave)
numerical examples; error bounds; bifurcation diagrams; two-point boundary value problems; forced pendulum equation; computer-assisted existence proofs; Newton-collocation method
DB lookup for MSC labels failed
Related Items
Uses Software
Cites Work
- Ein Axiomensystem für den Anschauungsraum. (An axiom system for the Euclidean space)
- A programmed algorithm for existence proofs for two-point boundary value problems
- Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
- Operator inequalities
- Schwankung von Polynomen zwischen Gitterpunkten. (Oscillations of polynomials between lattice points)
- Fehlerschranken für Näherungslösungen bei Differentialgleichungen
- A Posteriori Error Bounds for Two-Point Boundary Value Problems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item