Verfahren zur verifizierten Behandlung von Differenzengleichungseigenwertproblemen und verwandten Fragestellungen. (Method for the verified treatment of eigenvalue problems of difference equations and related questions) (Q3995380)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Verfahren zur verifizierten Behandlung von Differenzengleichungseigenwertproblemen und verwandten Fragestellungen. (Method for the verified treatment of eigenvalue problems of difference equations and related questions) |
scientific article; zbMATH DE number 44785
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verfahren zur verifizierten Behandlung von Differenzengleichungseigenwertproblemen und verwandten Fragestellungen. (Method for the verified treatment of eigenvalue problems of difference equations and related questions) |
scientific article; zbMATH DE number 44785 |
Statements
17 September 1992
0 references
eigenvalues
0 references
second order difference equations
0 references
continued fractions
0 references
interval arithmetic
0 references
bisection method
0 references
automatic verification
0 references
0.7528551816940308
0 references
0.7410414814949036
0 references