| Publication | Date of Publication | Type |
|---|
| Infinite-precision inner product and sparse matrix-vector multiplication using Ozaki scheme with Dot2 on manycore processors | 2023-08-25 | Paper |
| Generation of test matrices with specified eigenvalues using floating-point arithmetic | 2022-04-22 | Paper |
| Verified numerical computations for large-scale linear systems. | 2021-04-13 | Paper |
| An a posteriori verification method for generalized real-symmetric eigenvalue problems in large-scale electronic state calculations | 2020-04-15 | Paper |
| Performance and energy consumption of accurate and mixed-precision linear algebra kernels on GPUs | 2020-02-18 | Paper |
| Iterative refinement for singular value decomposition based on matrix multiplication | 2020-02-05 | Paper |
| Modified error bounds for approximate solutions of dense linear systems | 2020-02-05 | Paper |
| Iterative refinement for symmetric eigenvalue decomposition. II. Clustered eigenvalues | 2019-08-15 | Paper |
| A fast and efficient algorithm for solving ill-conditioned linear systems | 2019-03-18 | Paper |
| Convergence analysis of accurate inverse Cholesky factorization | 2019-03-15 | Paper |
| Iterative refinement for symmetric eigenvalue decomposition | 2018-12-07 | Paper |
| Error‐free transformation of matrix multiplication with a posteriori validation | 2017-01-13 | Paper |
| Simple floating-point filters for the two-dimensional orientation problem | 2016-06-10 | Paper |
| Improvement of error-free splitting for accurate matrix multiplication | 2015-06-22 | Paper |
| Convergence analysis of an algorithm for accurate inverse Cholesky factorization | 2015-02-25 | Paper |
| Tight Enclosures of Solutions of Linear Systems | 2013-06-13 | Paper |
| A robust algorithm for geometric predicate by error-free determinant transformation | 2012-10-11 | Paper |
| Tight and efficient enclosure of matrix multiplication by using optimized BLAS | 2012-06-07 | Paper |
| Fast algorithms for floating-point interval matrix multiplication | 2012-04-24 | Paper |
| Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications | 2012-02-13 | Paper |
| An algorithm for automatically selecting a suitable verification method for linear systems | 2011-03-31 | Paper |
| Accurate Matrix Factorization: Inverse LU and Inverse QR Factorizations | 2011-03-02 | Paper |
| Accurate Floating-Point Summation Part II: Sign, K-Fold Faithful and Rounding to Nearest | 2010-05-06 | Paper |
| Accurate Floating-Point Summation Part I: Faithful Rounding | 2010-03-10 | Paper |
| Fast verified solutions of linear systems | 2010-02-25 | Paper |
| Adaptive and efficient algorithm for 2D orientation problem | 2010-02-25 | Paper |
| Iterative refinement for ill-conditioned linear systems | 2010-02-25 | Paper |
| Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices | 2007-07-17 | Paper |
| Super-fast validated solution of linear systems | 2007-02-02 | Paper |
| A method of obtaining verified solutions for linear systems suited for Java | 2007-02-02 | Paper |
| Computer Algebra in Scientific Computing | 2006-07-07 | Paper |
| Accurate Sum and Dot Product | 2005-09-22 | Paper |
| Fast inclusion of interval matrix multiplication | 2005-08-02 | Paper |
| Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations | 2003-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4438141 | 2003-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2765620 | 2002-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4329947 | 2002-05-15 | Paper |
