On Range Evaluation of Polynomials by Applying Interval Arithmetic. - Shinya Miyajima; Masahide Kashiwagi (LSSC, 2003)

A New Dividing Method in Affine Arithmetic. - Shinya Miyajima; Takatomi Miyata; Masahide Kashiwagi (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)

A Method Which Finds the Maxima and Minima of a Multivariable Function Applying Affine Arithmetic. - Shinya Miyajima; Masahide Kashiwagi (NAA, 2004)

A dividing method utilizing the best multiplication in affine arithmetic. - Shinya Miyajima; Masahide Kashiwagi (IEICE Electron. Express, 2004)

Fast Verification for Respective Eigenvalues of Symmetric Matrix. - Shinya Miyajima; Takeshi Ogita; Shin'ichi Oishi (CASC, 2005)

Fast enclosure for all eigenvalues in generalized eigenvalue problems. - Shinya Miyajima (J. Comput. Appl. Math., 2010)

Fast enclosure for solutions in underdetermined systems. - Shinya Miyajima (J. Comput. Appl. Math., 2010)

Fast Verification for All Eigenpairs in Symmetric Positive Definite Generalized Eigenvalue Problems. - Shinya Miyajima; Takeshi Ogita; Siegfried M. Rump; Shin'ichi Oishi (Reliab. Comput., 2010)

Numerical enclosure for each eigenvalue in generalized eigenvalue problem. - Shinya Miyajima (J. Comput. Appl. Math., 2012)

Componentwise Error Estimates for Solutions Obtained by Stationary Iterative Methods. - Shinya Miyajima (Reliab. Comput., 2012)

The Relation between Two Types of Error Bounds for Computed Matrix Eigenvalues. - Shinya Miyajima (Reliab. Comput., 2012)

Fast Enclosure of Matrix Polynomials. - Shinya Miyajima (Reliab. Comput., 2013)

Fast Enclosure for All Eigenvalues and Invariant Subspaces in Generalized Eigenvalue Problems. - Shinya Miyajima (SIAM J. Matrix Anal. Appl., 2014)

A sharp error bound of the approximate solutions for saddle point linear systems. - Shinya Miyajima (J. Comput. Appl. Math., 2015)

Fast enclosure for the minimum norm least squares solution of the matrix equation AXB = C. - Shinya Miyajima (Numer. Linear Algebra Appl., 2015)

Verified solutions of delay eigenvalue problems. - Shinya Miyajima (Appl. Math. Comput., 2017)

Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations. - Shinya Miyajima (J. Comput. Appl. Math., 2017)

Fast verified computation for solutions of algebraic Riccati equations arising in transport theory. - Shinya Miyajima (Numer. Linear Algebra Appl., 2017)

Fast verified computation for the matrix principal pth root. - Shinya Miyajima (J. Comput. Appl. Math., 2018)

Verified computation of the matrix exponential. - Shinya Miyajima (Adv. Comput. Math., 2019)

Verified computation for the matrix Lambert W function. - Shinya Miyajima (Appl. Math. Comput., 2019)

Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation. - Shinya Miyajima (J. Comput. Appl. Math., 2019)

Verified computation of matrix gamma function. - Shinya Miyajima (CoRR, 2020)

Verified computation of real powers of matrices. - Shinya Miyajima (J. Comput. Appl. Math., 2021)

Computing Enclosures for the Matrix Mittag-Leffler Function. - Shinya Miyajima (J. Sci. Comput., 2021)

Fast verified computation for positive solutions to M-tensor multi-linear systems and Perron vectors of a kind of weakly irreducible nonnegative tensors. - Shinya Miyajima (J. Comput. Appl. Math., 2022)

Fast verified computation for real powers of large matrices with Kronecker structure. - Shinya Miyajima (Appl. Math. Comput., 2023)