| Publication | Date of Publication | Type |
|---|
| Some properties concerning Perron vectors of weakly irreducible nonnegative tensors, and their application to rigorous enclosure | 2024-02-28 | Paper |
| Fast verified computation for real powers of large matrices with Kronecker structure | 2023-06-27 | Paper |
| Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation | 2022-08-10 | Paper |
| Verified computation of matrix gamma function | 2022-05-05 | Paper |
| Fast verified computation for positive solutions to \(\mathcal{M} \)-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors | 2022-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5003340 | 2021-07-21 | Paper |
| Computing enclosures for the matrix Mittag-Leffler function | 2021-05-11 | Paper |
| Verified computation for the geometric mean of two matrices | 2021-05-04 | Paper |
| Verified computation of real powers of matrices | 2021-03-10 | Paper |
| Verified computation of eigenpairs in the generalized eigenvalue problem for nonsquare matrix pencils | 2020-08-12 | Paper |
| Enclosing Moore-Penrose inverses | 2020-04-21 | Paper |
| Verified computation for the matrix Lambert \(W\) function | 2020-01-09 | Paper |
| Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations | 2019-11-28 | Paper |
| Verified computation for the matrix principal logarithm | 2019-05-29 | Paper |
| Verified computation of the matrix exponential | 2019-05-16 | Paper |
| Verified solutions of delay eigenvalue problems | 2019-03-28 | Paper |
| Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation | 2019-01-24 | Paper |
| Fast verified computation for the solution of the T-congruence Sylvester equation | 2018-12-21 | Paper |
| Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation | 2018-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4568078 | 2018-06-15 | Paper |
| Fast verified computation for solutions of algebraic Riccati equations arising in transport theory. | 2017-12-15 | Paper |
| Fast verified computation for the matrix principal \(p\)th root | 2017-11-03 | Paper |
| Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations | 2017-03-16 | Paper |
| Fast enclosure for the minimum norm least squares solution of the matrix equation AXB = C | 2016-02-01 | Paper |
| Fast verified computation for solutions of continuous-time algebraic Riccati equations | 2015-09-15 | Paper |
| Verified bounds for all the singular values of matrix | 2015-02-25 | Paper |
| Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems | 2014-12-17 | Paper |
| Fast enclosure for a matrix inverse square root | 2014-12-09 | Paper |
| A sharp error bound of the approximate solutions for saddle point linear systems | 2014-10-28 | Paper |
| Fast enclosure for solutions of generalized Sylvester equations | 2014-08-29 | Paper |
| Componentwise enclosure for solutions of least squares problems and underdetermined systems | 2014-04-02 | Paper |
| Fast enclosure for solutions of Sylvester equations | 2014-01-21 | Paper |
| Numerical enclosure for each eigenvalue in generalized eigenvalue problem | 2012-03-19 | Paper |
| Enclosing solutions in least squares problems | 2011-03-25 | Paper |
| Fast enclosure for solutions in underdetermined systems | 2010-08-27 | Paper |
| Fast enclosure for all eigenvalues in generalized eigenvalue problems | 2010-03-04 | Paper |
| Large-Scale Scientific Computing | 2007-11-15 | Paper |
| A method of obtaining verified solutions for linear systems suited for Java | 2007-02-02 | Paper |
| Existence test for solution of nonlinear systems applying affine arithmetic | 2007-02-02 | Paper |
| Computer Algebra in Scientific Computing | 2006-07-07 | Paper |
| Numerical Analysis and Its Applications | 2005-12-02 | Paper |
