Year of publication
Type of media
Source
Subject
Type of material
Licence
Language
Article (Journal)
Suhr, Christian
Meinhardt-Wollweber, Merve
Rump, Siegfried M.
Mathematics
Electronic Resource
Free access
Clear all
1–50 of 62 hits
Sort by:
Sort by:
Your search:
classificationCode:"ddc:510"
-
Yet more elementary proofs that the determinant of a symplectic matrix is 1
Free accessBASE | 2016| -
Error estimates for the summation of real numbers with application to floating-point summation
Free accessBASE | 2017| -
Accurate solution of dense linear systems, Part II: Algorithms using directed rounding
Free accessBASE | 2012| -
Accurate solution of dense linear systems, Part I: Algorithms in rounding to nearest
Free accessBASE | 2012| -
Gleitkommaarithmetik auf dem Prüfstand: Wie werden verifiziert(e) numerische Lösungen berechnet?
Free accessBASE | 2016| -
IEEE754 precision-kbase-β arithmetic inherited by precision-m base-β arithmetic for k
Free accessBASE | 2016| -
The componentwise structured and unstructured backward errors can be arbitrarily far apart
Free accessBASE | 2015| -
Verified computation of a disc containing exactly k roots of a univariate nonlinear function
Free accessBASE | 2010| -
Solution of linear and nonlinear algebraic problems with sharp, guaranteed bounds
Free accessBASE | 1984| -
Zur Außen- und Inneneinschließung von Eigenwerten bei toleranzbehafteten Matrizen
Free accessBASE | 1993| -
Accurate floating-point summation part II: Sign. Κ-Fold faithful and rounding to nearest
Free accessBASE | 2008| -
Numerical verification method for arbitrarily Ill-conditioned linear systems
Free accessBASE | 2005| -
Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices
Free accessBASE | 2006|