×
Author ID: miyajima.shinya Recent zbMATH articles by "Miyajima, Shinya"
Published as: Miyajima, Shinya; Miyajima, S.
Documents Indexed: 41 Publications since 2004
Co-Authors: 5 Co-Authors with 5 Joint Publications
95 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 135 times in 67 Documents Cited by Year
Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems. Zbl 1307.65044
Miyajima, Shinya
23
2014
Verified computation of the matrix exponential. Zbl 1447.65009
Miyajima, Shinya
11
2019
Numerical enclosure for each eigenvalue in generalized eigenvalue problem. Zbl 1248.65039
Miyajima, Shinya
10
2012
Fast verified computation for the matrix principal \(p\)th root. Zbl 1376.65077
Miyajima, Shinya
8
2018
Fast enclosure for solutions of Sylvester equations. Zbl 1281.65069
Miyajima, Shinya
7
2013
Fast enclosure for all eigenvalues in generalized eigenvalue problems. Zbl 1188.65043
Miyajima, Shinya
6
2010
Fast verified computation for solutions of continuous-time algebraic Riccati equations. Zbl 1329.65093
Miyajima, Shinya
6
2015
Verified computation for the matrix principal logarithm. Zbl 1434.65057
Miyajima, Shinya
6
2019
Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations. Zbl 1360.65127
Miyajima, Shinya
5
2017
Fast enclosure for a matrix inverse square root. Zbl 1305.65133
Miyajima, Shinya
5
2015
Verified computation for the matrix Lambert \(W\) function. Zbl 1433.65088
Miyajima, Shinya
5
2019
A method of obtaining verified solutions for linear systems suited for Java. Zbl 1108.65019
Ozaki, K.; Ogita, T.; Miyajima, S.; Oishi, S.; Rump, S. M.
4
2007
Fast verification for respective eigenvalues of symmetric matrix. Zbl 1169.65312
Miyajima, Shinya; Ogita, Takeshi; Oishi, Shin’ichi
4
2005
Fast enclosure for solutions in underdetermined systems. Zbl 1201.65064
Miyajima, Shinya
4
2010
Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation. Zbl 1417.65123
Miyajima, Shinya
4
2019
Fast verified computation for solutions of algebraic Riccati equations arising in transport theory. Zbl 1438.65080
Miyajima, Shinya
3
2017
Verified computation of matrix gamma function. Zbl 1497.65082
Miyajima, Shinya
3
2022
Componentwise enclosure for solutions of least squares problems and underdetermined systems. Zbl 1329.65081
Miyajima, Shinya
3
2014
Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation. Zbl 1432.65051
Miyajima, Shinya
3
2018
Existence test for solution of nonlinear systems applying affine arithmetic. Zbl 1117.65075
Miyajima, Shinya; Kashiwagi, Masahide
2
2007
Verified solutions of delay eigenvalue problems. Zbl 1411.65060
Miyajima, Shinya
2
2017
Verified computation for the geometric mean of two matrices. Zbl 1472.65055
Miyajima, Shinya
2
2021
Verified computation of real powers of matrices. Zbl 1461.65065
Miyajima, Shinya
2
2021
Fast verified computation for the solution of the T-congruence Sylvester equation. Zbl 1434.65047
Miyajima, Shinya
2
2018
Fast enclosure for solutions of generalized Sylvester equations. Zbl 1310.65048
Miyajima, Shinya
1
2014
Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations. Zbl 1437.65025
Miyajima, Shinya
1
2019
Computing enclosures for the matrix Mittag-Leffler function. Zbl 1470.65080
Miyajima, Shinya
1
2021
Fast verified computation for positive solutions to \(\mathcal{M} \)-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors. Zbl 1490.65085
Miyajima, Shinya
1
2022
Fast verification for the Perron pair of an irreducible nonnegative matrix. Zbl 07373353
Miyajima, Shinya
1
2021
Verified computation of matrix gamma function. Zbl 1497.65082
Miyajima, Shinya
3
2022
Fast verified computation for positive solutions to \(\mathcal{M} \)-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors. Zbl 1490.65085
Miyajima, Shinya
1
2022
Verified computation for the geometric mean of two matrices. Zbl 1472.65055
Miyajima, Shinya
2
2021
Verified computation of real powers of matrices. Zbl 1461.65065
Miyajima, Shinya
2
2021
Computing enclosures for the matrix Mittag-Leffler function. Zbl 1470.65080
Miyajima, Shinya
1
2021
Fast verification for the Perron pair of an irreducible nonnegative matrix. Zbl 07373353
Miyajima, Shinya
1
2021
Verified computation of the matrix exponential. Zbl 1447.65009
Miyajima, Shinya
11
2019
Verified computation for the matrix principal logarithm. Zbl 1434.65057
Miyajima, Shinya
6
2019
Verified computation for the matrix Lambert \(W\) function. Zbl 1433.65088
Miyajima, Shinya
5
2019
Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation. Zbl 1417.65123
Miyajima, Shinya
4
2019
Robust verification algorithm for stabilizing solutions of discrete-time algebraic Riccati equations. Zbl 1437.65025
Miyajima, Shinya
1
2019
Fast verified computation for the matrix principal \(p\)th root. Zbl 1376.65077
Miyajima, Shinya
8
2018
Fast verified computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation. Zbl 1432.65051
Miyajima, Shinya
3
2018
Fast verified computation for the solution of the T-congruence Sylvester equation. Zbl 1434.65047
Miyajima, Shinya
2
2018
Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations. Zbl 1360.65127
Miyajima, Shinya
5
2017
Fast verified computation for solutions of algebraic Riccati equations arising in transport theory. Zbl 1438.65080
Miyajima, Shinya
3
2017
Verified solutions of delay eigenvalue problems. Zbl 1411.65060
Miyajima, Shinya
2
2017
Fast verified computation for solutions of continuous-time algebraic Riccati equations. Zbl 1329.65093
Miyajima, Shinya
6
2015
Fast enclosure for a matrix inverse square root. Zbl 1305.65133
Miyajima, Shinya
5
2015
Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems. Zbl 1307.65044
Miyajima, Shinya
23
2014
Componentwise enclosure for solutions of least squares problems and underdetermined systems. Zbl 1329.65081
Miyajima, Shinya
3
2014
Fast enclosure for solutions of generalized Sylvester equations. Zbl 1310.65048
Miyajima, Shinya
1
2014
Fast enclosure for solutions of Sylvester equations. Zbl 1281.65069
Miyajima, Shinya
7
2013
Numerical enclosure for each eigenvalue in generalized eigenvalue problem. Zbl 1248.65039
Miyajima, Shinya
10
2012
Fast enclosure for all eigenvalues in generalized eigenvalue problems. Zbl 1188.65043
Miyajima, Shinya
6
2010
Fast enclosure for solutions in underdetermined systems. Zbl 1201.65064
Miyajima, Shinya
4
2010
A method of obtaining verified solutions for linear systems suited for Java. Zbl 1108.65019
Ozaki, K.; Ogita, T.; Miyajima, S.; Oishi, S.; Rump, S. M.
4
2007
Existence test for solution of nonlinear systems applying affine arithmetic. Zbl 1117.65075
Miyajima, Shinya; Kashiwagi, Masahide
2
2007
Fast verification for respective eigenvalues of symmetric matrix. Zbl 1169.65312
Miyajima, Shinya; Ogita, Takeshi; Oishi, Shin’ichi
4
2005

Citations by Year