Edit Profile (opens in new tab) Miyajima, Shinya Co-Author Distance Author ID: 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 Co-Authors 36 single-authored 3 Kashiwagi, Masahide 2 Ogita, Takeshi 2 Oishi, Shin’ichi 1 Ozaki, Katsuhisa 1 Rump, Siegfried Michael all top 5 Serials 11 Journal of Computational and Applied Mathematics 6 Japan Journal of Industrial and Applied Mathematics 5 Linear Algebra and its Applications 3 Applied Mathematics and Computation 2 Calcolo 2 Numerical Linear Algebra with Applications 2 ELA. The Electronic Journal of Linear Algebra 1 Linear and Multilinear Algebra 1 SIAM Journal on Matrix Analysis and Applications 1 Journal of Scientific Computing 1 Computational and Applied Mathematics 1 Advances in Computational Mathematics 1 HERMIS-\(\mu\pi\). Hellenic European Research on Mathematics and Informatics Science 1 Journal of Mathematical Research with Applications all top 5 Fields 41 Numerical analysis (65-XX) 28 Linear and multilinear algebra; matrix theory (15-XX) 2 Systems theory; control (93-XX) 1 Real functions (26-XX) 1 Special functions (33-XX) 1 Ordinary differential equations (34-XX) 1 Operator theory (47-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 69 Authors 29 Miyajima, Shinya 5 Ogita, Takeshi 4 Oishi, Shin’ichi 4 Ozaki, Katsuhisa 3 Chiang, Chun-Yueh 3 Rump, Siegfried Michael 2 Fan, Hung-Yuan 2 Frommer, Andreas 2 Haqiri, Tayyebe 2 Imakura, Akira 2 Liu, Jianzhou 2 Luo, Fangfang 2 Morikuni, Keiichi 2 Mouçouf, Mohammed 2 Takayasu, Akitoshi 2 Tanaka, Kazuaki 2 Terao, Takeshi 2 Zhang, Juan 2 Zriaa, Said 1 Abdalla, Mohamed 1 Aishima, Kensuke 1 Akel, Mohamed S. 1 Asai, Taisei 1 Bakhet, Ahmed 1 Church, Kevin E. M. 1 Dehghan Takht Fooladi, Mehdi 1 Feng, Yuye 1 Ghassemieh, M. 1 Gupta, Dharmendra Kumar 1 Hartman, David 1 Hashemi, Behnam 1 He, Fuli 1 Hladík, Milan 1 Hoshi, Takeo 1 Kahl, Karsten 1 Kashiwagi, Masahide 1 Katagiri, Takahiro 1 Katsikis, Vasilios N. 1 Kemmochi, Tomoya 1 Li, Zhe 1 Lin, Matthew M. 1 Liu, Qi 1 Lóczi, Lajos 1 Măruşter, Laura 1 Mărușter, Ștefan 1 Miyatake, Yuto 1 Mohseni Moghadam, Mahmoud 1 Oozawa, Masaya 1 Plum, Michael 1 Poloni, Federico Giovanni 1 Říha, David 1 Rivaz, Azim 1 Satake, Yuki 1 Schweitzer, Marcel 1 Sekine, Kouta 1 Shi, Xinghua 1 Shirilord, Akbar 1 Sogabe, Tomohiro 1 Srivastava, Shwetabh 1 Stanimirović, Predrag S. 1 Suda, Koki 1 Tamura, Naoya 1 Toyonaga, Kenji 1 Tsolakis, Manuel 1 Wei, Yimin 1 Wu, Qingbiao 1 Xie, Zhe-Wei 1 Yamamura, Kiyotaka 1 Zhang, Shao-Liang all top 5 Cited in 24 Serials 15 Journal of Computational and Applied Mathematics 8 Linear Algebra and its Applications 6 Applied Mathematics and Computation 6 Japan Journal of Industrial and Applied Mathematics 4 Numerical Algorithms 3 SIAM Journal on Matrix Analysis and Applications 3 Computational and Applied Mathematics 2 Linear and Multilinear Algebra 2 Calcolo 2 Applied Numerical Mathematics 2 Applied Mathematics Letters 2 ELA. The Electronic Journal of Linear Algebra 1 Mathematical Notes 1 Numerical Functional Analysis and Optimization 1 Journal of Scientific Computing 1 Applications of Mathematics 1 Applied Mathematical Modelling 1 Journal of Dynamics and Differential Equations 1 Numerical Linear Algebra with Applications 1 Turkish Journal of Mathematics 1 Advances in Computational Mathematics 1 Journal of Applied Mathematics and Computing 1 Boletim da Sociedade Paranaense de Matemática. Terceira Série 1 Mediterranean Journal of Mathematics all top 5 Cited in 18 Fields 60 Numerical analysis (65-XX) 42 Linear and multilinear algebra; matrix theory (15-XX) 5 Systems theory; control (93-XX) 3 Special functions (33-XX) 3 Partial differential equations (35-XX) 3 Operator theory (47-XX) 2 Number theory (11-XX) 2 Ordinary differential equations (34-XX) 2 Difference and functional equations (39-XX) 2 Computer science (68-XX) 2 Mechanics of deformable solids (74-XX) 1 Combinatorics (05-XX) 1 Commutative algebra (13-XX) 1 Real functions (26-XX) 1 Approximations and expansions (41-XX) 1 Integral transforms, operational calculus (44-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year