論文 - 宮島 信也
-
Fast verified computation for the solution of the T-congruence Sylvester equation
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 2018年07月 [査読有り]
国際的学術誌 単著
-
Fast verified computation for the matrix principal pth root
Shinya Miyajima
Journal of Computational and Applied Mathematics 2018年03月 [査読有り]
国際的学術誌 単著
-
Fast verified computation for the solvent of the quadratic matrix equation
Shinya Miyajima
The Electronic Journal of Linear Algebra 2018年03月 [査読有り]
国際的学術誌 単著
-
Fast verified computation for solutions of algebraic Riccati equations arising in transport theory
Shinya Miyajima
Numerical Linear Algebra with Applications 2017年10月 [査読有り]
国際的学術誌 単著
-
Verified solutions of inverse symmetric eigenvalue problems
Shinya Miyajima
Reliable Computing 2017年09月 [査読有り]
国際的学術誌 単著
-
Fast verified computation for stabilizing solutions of discrete-time algebraic Riccati equations
Shinya Miyajima
Journal of Computational and Applied Mathematics 2017年08月 [査読有り]
国際的学術誌 単著
-
Verified solutions of delay eigenvalue problems
Shinya Miyajima
Applied Mathematics and Computation 2017年06月 [査読有り]
国際的学術誌 単著
-
Fast verified computation for solutions of continuous-time algebraic Riccati equations
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 2015年07月 [査読有り]
国際的学術誌 単著
-
Fast enclosure for the minimum norm least squares solution of the matrix equation AXB = C
Shinya Miyajima
Numerical Linear Algebra with Applications 2015年05月 [査読有り]
国際的学術誌 単著
-
A sharp error bound of the approximate solutions for saddle point linear systems
Shinya Miyajima
Journal of Computational and Applied Mathematics 2015年03月 [査読有り]
国際的学術誌 単著
-
Fast enclosure for a matrix inverse square root
Shinya Miyajima
Linear Algebra and its Applications 2015年02月 [査読有り]
国際的学術誌 単著
-
An algorithm for checking incorrectness of a rule in equivalent transformation programs
Hiroshi Mabuchi, Shinya Miyajima
International Journal of Innovative Computing, Information and Control 2015年02月 [査読有り]
国際的学術誌 共著・分担
-
Fast enclosure for solutions of generalized least squares problems
Shinya Miyajima
Reliable Computing 2015年02月 [査読有り]
国際的学術誌 単著
-
Verified bounds for all the singular values of matrix
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 2014年11月 [査読有り]
国際的学術誌 単著
-
Fast enclosure for all eigenvalues and invariant subspaces in generalized eigenvalue problems
Shinya Miyajima
SIAM Journal on Matrix Analysis and Applications 2014年09月 [査読有り]
国際的学術誌 単著
-
Fast enclosure for solutions of generalized Sylvester equations
Shinya Miyajima
Japan Journal of Industrial and Applied Mathematics 2014年06月 [査読有り]
国際的学術誌 単著
-
Componentwise enclosure for solutions of least squares problems and underdetermined systems
Shinya Miyajima
Linear Algebra and its Applications 2014年03月 [査読有り]
国際的学術誌 単著
-
Fast enclosure for solutions of Sylvester equations
Shinya Miyajima
Linear Algebra and its Applications 2013年08月 [査読有り]
国際的学術誌 単著
-
Fast enclosure of matrix polynomials
Shinya Miyajima
Reliable Computing 2013年01月 [査読有り]
国際的学術誌 単著
-
Componentwise error estimates for solutions obtained by stationary iterative methods
Shinya Miyajima
Reliable Computing 2012年04月 [査読有り]
国際的学術誌 単著