Publication:4122689
From MaRDI portal
zbMath0352.65002MaRDI QIDQ4122689
Publication date: 1976
68Q45: Formal languages and automata
65-02: Research exposition (monographs, survey articles) pertaining to numerical analysis
65G50: Roundoff error
68N01: General topics in the theory of software
68W99: Algorithms in computer science
Related Items
Verification methods for fredholm integral equations, Very fast and exact accumulation of products, Zur Axiomatisierung logarithmischer und halblogarithmischer Zahlensysteme. (On the axiomatization of logarithmic and semi-logarithmic number systems), Contributions to the structure of computer arithmetic, FORTRAN for contemporary numerical computation, Bounds for eigenvalues of parameter-dependent matrices, Verified solution of large systems and global optimization problems, Hardware support for interval arithmetic, Ein hinreichendes Kriterium für die Durchführbarkeit des Intervall-Gauss-Algorithmus bei Intervall-Hessenberg-Matrizen ohne Pivotsuche, Computing narrow inclusions for the solution of integral equations, Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations, Unnamed Item