| Publication | Date of Publication | Type |
|---|
Some properties concerning Perron vectors of weakly irreducible nonnegative tensors, and their application to rigorous enclosure
Linear Algebra and its Applications | 2024-02-28 | Paper |
Fast verified computation for real powers of large matrices with Kronecker structure
Applied Mathematics and Computation | 2023-06-27 | Paper |
Fast enclosure for the minimal nonnegative solution to the nonsymmetric T-Riccati equation
Calcolo | 2022-08-10 | Paper |
Verified computation of matrix gamma function
Linear and Multilinear Algebra | 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
Journal of Computational and Applied Mathematics | 2022-02-11 | Paper |
| scientific article; zbMATH DE number 7373353 (Why is no real title available?) | 2021-07-21 | Paper |
Computing enclosures for the matrix Mittag-Leffler function
Journal of Scientific Computing | 2021-05-11 | Paper |
Verified computation for the geometric mean of two matrices
Japan Journal of Industrial and Applied Mathematics | 2021-05-04 | Paper |
Verified computation of real powers of matrices
Journal of Computational and Applied Mathematics | 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
Calcolo | 2020-04-21 | Paper |
Verified computation for the matrix Lambert \(W\) function
Applied Mathematics and Computation | 2020-01-09 | Paper |
Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations
Japan Journal of Industrial and Applied Mathematics | 2019-11-28 | Paper |
Verified computation for the matrix principal logarithm
Linear Algebra and its Applications | 2019-05-29 | Paper |
Verified computation of the matrix exponential
Advances in Computational Mathematics | 2019-05-16 | Paper |
Verified solutions of delay eigenvalue problems
Applied Mathematics and Computation | 2019-03-28 | Paper |
Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation
Journal of Computational and Applied Mathematics | 2019-01-24 | Paper |
Fast verified computation for the solution of the T-congruence Sylvester equation
Japan Journal of Industrial and Applied Mathematics | 2018-12-21 | Paper |
Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation
Computational and Applied Mathematics | 2018-11-05 | Paper |
| scientific article; zbMATH DE number 6890177 (Why is no real title available?) | 2018-06-15 | Paper |
Fast verified computation for solutions of algebraic Riccati equations arising in transport theory.
Numerical Linear Algebra with Applications | 2017-12-15 | Paper |
Fast verified computation for the matrix principal \(p\)th root
Journal of Computational and Applied Mathematics | 2017-11-03 | Paper |
Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations
Journal of Computational and Applied Mathematics | 2017-03-16 | Paper |
Fast enclosure for the minimum norm least squares solution of the matrix equation AXB = C
Numerical Linear Algebra with Applications | 2016-02-01 | Paper |
Fast verified computation for solutions of continuous-time algebraic Riccati equations
Japan Journal of Industrial and Applied Mathematics | 2015-09-15 | Paper |
Verified bounds for all the singular values of matrix
Japan Journal of Industrial and Applied Mathematics | 2015-02-25 | Paper |
Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems
SIAM Journal on Matrix Analysis and Applications | 2014-12-17 | Paper |
Fast enclosure for a matrix inverse square root
Linear Algebra and its Applications | 2014-12-09 | Paper |
A sharp error bound of the approximate solutions for saddle point linear systems
Journal of Computational and Applied Mathematics | 2014-10-28 | Paper |
Fast enclosure for solutions of generalized Sylvester equations
Japan Journal of Industrial and Applied Mathematics | 2014-08-29 | Paper |
Componentwise enclosure for solutions of least squares problems and underdetermined systems
Linear Algebra and its Applications | 2014-04-02 | Paper |
Fast enclosure for solutions of Sylvester equations
Linear Algebra and its Applications | 2014-01-21 | Paper |
Numerical enclosure for each eigenvalue in generalized eigenvalue problem
Journal of Computational and Applied Mathematics | 2012-03-19 | Paper |
| Enclosing solutions in least squares problems | 2011-03-25 | Paper |
Fast enclosure for solutions in underdetermined systems
Journal of Computational and Applied Mathematics | 2010-08-27 | Paper |
Fast enclosure for all eigenvalues in generalized eigenvalue problems
Journal of Computational and Applied Mathematics | 2010-03-04 | Paper |
Large-Scale Scientific Computing
Lecture Notes in Computer Science | 2007-11-15 | Paper |
A method of obtaining verified solutions for linear systems suited for Java
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
Existence test for solution of nonlinear systems applying affine arithmetic
Journal of Computational and Applied Mathematics | 2007-02-02 | Paper |
| Computer Algebra in Scientific Computing | 2006-07-07 | Paper |
Numerical Analysis and Its Applications
Lecture Notes in Computer Science | 2005-12-02 | Paper |
