| Publication | Date of Publication | Type |
|---|
Verified error bounds for matrix decompositions
SIAM Journal on Matrix Analysis and Applications | 2024-11-21 | Paper |
IEEE-754 precision-\(p\) base-\(\beta\) arithmetic implemented in binary
ACM Transactions on Mathematical Software | 2024-09-12 | Paper |
On a quality measure for interval inclusions
BIT | 2024-06-18 | Paper |
A note on Oishi’s lower bound for the smallest singular value of linearized Galerkin equations
Japan Journal of Industrial and Applied Mathematics | 2024-05-07 | Paper |
Fast and accurate computation of the Euclidean norm of a vector
Japan Journal of Industrial and Applied Mathematics | 2023-10-13 | Paper |
Fast computation of error bounds for all eigenpairs of a Hermitian and all singular pairs of a rectangular matrix with emphasis on eigen- and singular value clusters
Journal of Computational and Applied Mathematics | 2023-07-21 | Paper |
Computation of the unit in the first place (ufp) and the unit in the last place (ulp) in precision-\(p\) base \(\beta\)
BIT | 2023-05-03 | Paper |
When does ‖f(A)‖ = f(‖A‖) hold true?
Linear and Multilinear Algebra | 2023-04-25 | Paper |
Verified Error Bounds for All Eigenvalues and Eigenvectors of a Matrix
SIAM Journal on Matrix Analysis and Applications | 2022-12-19 | Paper |
Entrywise lower and upper bounds for the Perron vector
Linear Algebra and its Applications | 2022-09-28 | Paper |
Convergence results for some piecewise linear solvers
Optimization Letters | 2022-06-10 | Paper |
On norms of principal submatrices
Linear Algebra and its Applications | 2021-04-24 | Paper |
Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem
BIT | 2021-03-31 | Paper |
Addendum to: ``On recurrences converging to the wrong limit in finite precision and some new examples
ETNA - Electronic Transactions on Numerical Analysis | 2021-01-18 | Paper |
Faithfully rounded floating-point computations
ACM Transactions on Mathematical Software | 2020-11-10 | Paper |
On recurrences converging to the wrong limit in finite precision and some new examples
ETNA - Electronic Transactions on Numerical Analysis | 2020-10-06 | Paper |
Verified bounds for the determinant of real or complex point or interval matrices
Journal of Computational and Applied Mathematics | 2020-02-18 | Paper |
Modified error bounds for approximate solutions of dense linear systems
Journal of Computational and Applied Mathematics | 2020-02-05 | Paper |
Lower bounds for the smallest singular value of certain Toeplitz-like triangular matrices with linearly increasing diagonal entries
Integral Equations and Operator Theory | 2019-10-28 | Paper |
Complex disk products and Cartesian ovals
Journal of Geometry | 2019-10-17 | Paper |
The determinant of a complex matrix and Gershgorin circles
The Electronic Journal of Linear Algebra | 2019-08-28 | Paper |
Addendum to: ``Estimates of the determinant of a perturbed identity matrix
Linear Algebra and its Applications | 2019-03-26 | Paper |
Bounds for the determinant by Gershgorin circles
Linear Algebra and its Applications | 2019-01-24 | Paper |
Estimates of the determinant of a perturbed identity matrix
Linear Algebra and its Applications | 2018-10-11 | Paper |
Mathematically rigorous global optimization in floating-point arithmetic
Optimization Methods & Software | 2018-10-09 | Paper |
Sharp estimates for perturbation errors in summations
Mathematics of Computation | 2018-09-20 | Paper |
IEEE754 Precision- k base-β Arithmetic Inherited by Precision- m Base-β Arithmetic for k < m
ACM Transactions on Mathematical Software | 2018-07-20 | Paper |
On relative errors of floating-point operations: optimal bounds and applications
Mathematics of Computation | 2018-01-12 | Paper |
Error estimates for the summation of real numbers with application to floating-point summation
BIT | 2017-10-24 | Paper |
Sign controlled solvers for the absolute value equation with an application to support vector machines
| 2017-07-28 | Paper |
Yet more elementary proofs that the determinant of a symplectic matrix is 1
Linear Algebra and its Applications | 2016-12-29 | Paper |
Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) | 2016-11-02 | Paper |
Simple floating-point filters for the two-dimensional orientation problem
BIT | 2016-06-10 | Paper |
Improved error bounds for floating-point products and Horner's scheme
BIT | 2016-05-19 | Paper |
On the definition of unit roundoff
BIT | 2016-05-19 | Paper |
The Componentwise Structured and Unstructured Backward Errors Can be Arbitrarily Far Apart
SIAM Journal on Matrix Analysis and Applications | 2015-06-09 | Paper |
Improved backward error bounds for LU and Cholesky factorizations
SIAM Journal on Matrix Analysis and Applications | 2014-10-15 | Paper |
Improved componentwise verified error bounds for least squares problems and underdetermined linear systems
Numerical Algorithms | 2014-07-03 | Paper |
Improved error bounds for inner products in floating-point arithmetic
SIAM Journal on Matrix Analysis and Applications | 2013-09-26 | Paper |
Accurate solution of dense linear systems. II: Algorithms using directed rounding
Journal of Computational and Applied Mathematics | 2013-01-21 | Paper |
Accurate solution of dense linear systems I: Algorithms in rounding to nearest
Journal of Computational and Applied Mathematics | 2013-01-21 | Paper |
Interval arithmetic over finitely many endpoints
BIT | 2012-12-20 | Paper |
Fast interval matrix multiplication
Numerical Algorithms | 2012-09-24 | Paper |
Verified bounds for least squares problems and underdetermined linear systems
SIAM Journal on Matrix Analysis and Applications | 2012-08-23 | Paper |
Verification methods: rigorous results using floating-point arithmetic
Acta Numerica | 2012-06-11 | Paper |
Fast algorithms for floating-point interval matrix multiplication
Journal of Computational and Applied Mathematics | 2012-04-24 | Paper |
Error estimation of floating-point summation and dot product
BIT | 2012-03-23 | Paper |
Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications
Numerical Algorithms | 2012-02-13 | Paper |
Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
BIT | 2011-08-02 | Paper |
Ultimately fast accurate summation
SIAM Journal on Scientific Computing | 2010-10-19 | Paper |
The ratio between the Toeplitz and the unstructured condition number
| 2010-10-19 | Paper |
Verified error bounds for multiple roots of systems of nonlinear equations
Numerical Algorithms | 2010-09-16 | Paper |
Accurate and reliable computing in floating-point arithmetic
Mathematical Software – ICMS 2010 | 2010-09-14 | Paper |
scientific article; zbMATH DE number 5775425 (Why is no real title available?)
| 2010-08-27 | Paper |
Accurate floating-point summation. II: Sign, \(K\)-fold faithful and rounding to nearest
SIAM Journal on Scientific Computing | 2010-05-06 | Paper |
Accurate Floating-Point Summation Part I: Faithful Rounding
SIAM Journal on Scientific Computing | 2010-03-10 | Paper |
Inversion of extremely ill-conditioned matrices in floating-point
Japan Journal of Industrial and Applied Mathematics | 2010-02-25 | Paper |
Adaptive and efficient algorithm for 2D orientation problem
Japan Journal of Industrial and Applied Mathematics | 2010-02-25 | Paper |
Iterative refinement for ill-conditioned linear systems
Japan Journal of Industrial and Applied Mathematics | 2010-02-25 | Paper |
Computing predecessor and successor in rounding to nearest
BIT | 2009-07-24 | Paper |
Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices
Journal of Computational and Applied Mathematics | 2007-07-17 | Paper |
Super-fast validated solution of linear systems
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
A method of obtaining verified solutions for linear systems suited for Java
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
Towards optimal use of multi-precision arithmetic: a remark
Reliable Computing | 2006-09-14 | Paper |
Verification of positive definiteness
BIT | 2006-09-12 | Paper |
Eigenvalues, pseudospectrum and structured perturbations
Linear Algebra and its Applications | 2006-03-22 | Paper |
Accurate Sum and Dot Product
SIAM Journal on Scientific Computing | 2005-09-22 | Paper |
scientific article; zbMATH DE number 2144321 (Why is no real title available?)
| 2005-03-11 | Paper |
On eigenvector bounds
BIT | 2004-03-15 | Paper |
Structured Perturbations Part I: Normwise Distances
SIAM Journal on Matrix Analysis and Applications | 2004-01-18 | Paper |
Structured Perturbations Part II: Componentwise Distances
SIAM Journal on Matrix Analysis and Applications | 2004-01-18 | Paper |
Ten methods to bound multiple roots of polynomials
Journal of Computational and Applied Mathematics | 2003-08-07 | Paper |
Variational characterizations of the sign-real and the sign-complex spectral radius
The Electronic Journal of Linear Algebra | 2003-07-06 | Paper |
Optimal scaling for p-norms and componentwise distance to singularity
IMA Journal of Numerical Analysis | 2003-05-14 | Paper |
Perron-Frobenius theory for complex matrices
Linear Algebra and its Applications | 2003-05-04 | Paper |
On \(P\)-matrices
Linear Algebra and its Applications | 2003-05-04 | Paper |
Conservatism of the circle criterion-solution of a problem posed by A. Megretski
IEEE Transactions on Automatic Control | 2002-07-21 | Paper |
Fast verification of solutions of matrix equations
Numerische Mathematik | 2002-05-21 | Paper |
Rigorous and portable standard functions
BIT | 2002-02-19 | Paper |
Ill-conditionedness need not be componentwise near to ill-posedness for least squares problems
BIT | 2001-10-24 | Paper |
scientific article; zbMATH DE number 1639667 (Why is no real title available?)
| 2001-08-30 | Paper |
Computational error bounds for multiple or nearly multiple eigenvalues
Linear Algebra and its Applications | 2001-07-03 | Paper |
Self-validating methods
Linear Algebra and its Applications | 2001-04-16 | Paper |
Structured perturbations and symmetric matrices
Linear Algebra and its Applications | 2000-11-21 | Paper |
scientific article; zbMATH DE number 1424515 (Why is no real title available?)
| 2000-09-05 | Paper |
The sign-real spectral radius and cycle products
Linear Algebra and its Applications | 2000-08-28 | Paper |
Fast and parallel interval arithmetic
BIT | 2000-08-21 | Paper |
scientific article; zbMATH DE number 1440908 (Why is no real title available?)
| 2000-05-08 | Paper |
A note on epsilon-inflation
Reliable Computing | 1999-09-09 | Paper |
Ill-Conditioned Matrices Are Componentwise Near to Singularity
SIAM Review | 1999-06-27 | Paper |
Theorems of Perron-Frobenius type for matrices without sign restrictions
Linear Algebra and its Applications | 1998-11-26 | Paper |
Intervals and the origins of calculus
Reliable Computing | 1998-06-08 | Paper |
Almost Sharp Bounds for the Componentwise Distance to the Nearest Singular Matrix
Linear and Multilinear Algebra | 1997-12-10 | Paper |
scientific article; zbMATH DE number 1067580 (Why is no real title available?)
| 1997-11-12 | Paper |
Inclusion of zeros of nowhere differentiable \(n\)-dimensional functions
Reliable Computing | 1997-08-07 | Paper |
Bounds for the Componentwise Distance to the Nearest Singular Matrix
SIAM Journal on Matrix Analysis and Applications | 1997-07-28 | Paper |
Verified solution of large systems and global optimization problems
Journal of Computational and Applied Mathematics | 1997-07-13 | Paper |
Improved iteration schemes for validation algorithms for dense and sparse nonlinear systems
Computing | 1997-05-25 | Paper |
Expansion and estimation of the range of nonlinear functions
Mathematics of Computation | 1996-12-03 | Paper |
scientific article; zbMATH DE number 903746 (Why is no real title available?)
| 1996-10-27 | Paper |
scientific article; zbMATH DE number 852350 (Why is no real title available?)
| 1996-06-03 | Paper |
scientific article; zbMATH DE number 524107 (Why is no real title available?)
| 1996-05-21 | Paper |
scientific article; zbMATH DE number 799193 (Why is no real title available?)
| 1996-02-26 | Paper |
scientific article; zbMATH DE number 802407 (Why is no real title available?)
| 1995-10-04 | Paper |
scientific article; zbMATH DE number 714516 (Why is no real title available?)
| 1995-05-28 | Paper |
scientific article; zbMATH DE number 671951 (Why is no real title available?)
| 1994-11-10 | Paper |
scientific article; zbMATH DE number 647464 (Why is no real title available?)
| 1994-10-26 | Paper |
scientific article; zbMATH DE number 584524 (Why is no real title available?)
| 1994-07-04 | Paper |
scientific article; zbMATH DE number 125099 (Why is no real title available?)
| 1993-02-21 | Paper |
scientific article; zbMATH DE number 58445 (Why is no real title available?)
| 1992-09-27 | Paper |
On the solution of interval linear systems
Computing | 1992-06-28 | Paper |
A Class of Arbitrarily Ill Conditioned Floating-Point Matrices
SIAM Journal on Matrix Analysis and Applications | 1992-06-26 | Paper |
Rigorous solution of linear programming problems with uncertain data
ZOR - Methods and Models of Operations Research | 1992-06-25 | Paper |
Estimation of the sensitivity of linear and nonlinear algebraic problems
Linear Algebra and its Applications | 1992-06-25 | Paper |
Rigorous Sensitivity Analysis for Systems of Linear and Nonlinear Equations
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4158371 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4123145 (Why is no real title available?)
| 1989-01-01 | Paper |
scientific article; zbMATH DE number 4117840 (Why is no real title available?)
| 1989-01-01 | Paper |
Guaranteed inclusions for the complex generalized eigenproblem
Computing | 1989-01-01 | Paper |
scientific article; zbMATH DE number 4088841 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4084863 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 4082942 (Why is no real title available?)
| 1988-01-01 | Paper |
FORTRAN-SC. A study of a FORTRAN extension for engineering/scientific computation with access to ACRITH
Computing | 1987-01-01 | Paper |
Solution of linear systems with verified accuracy
Applied Numerical Mathematics | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3986540 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3986539 (Why is no real title available?)
| 1986-01-01 | Paper |
Sichere Ergebnisse auf Rechenanlagen
Informatik Spektrum | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3874506 (Why is no real title available?)
| 1984-01-01 | Paper |
scientific article; zbMATH DE number 3831197 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3818967 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3963074 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3963073 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3818966 (Why is no real title available?)
| 1982-01-01 | Paper |
Solving nonlinear systems with least significant bit accuracy
Computing | 1982-01-01 | Paper |
E-methods for fixed point equations f(x)=x
Computing | 1982-01-01 | Paper |
scientific article; zbMATH DE number 3765050 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3765051 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3666076 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3671646 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3682951 (Why is no real title available?)
| 1980-01-01 | Paper |
scientific article; zbMATH DE number 3653422 (Why is no real title available?)
| 1980-01-01 | Paper |
Generalized iteration methods for bounds of the solution of fixed point operator-equations
Computing | 1980-01-01 | Paper |
Polynomial Minimum Root Separation
| 1979-01-01 | Paper |
