論文 - 宮島 信也
-
The relation between two types of error bounds for computed matrix eigenvalues
Shinya Miyajima
Reliable Computing 2012年04月 [査読有り]
国際的学術誌 単著
-
Numerical enclosure for each eigenvalue in generalized eigenvalue problem
Shinya Miyajima
Journal of Computational and Applied Mathematics 2012年03月 [査読有り]
国際的学術誌 単著
-
Algorithmic debugging of equivalent transformation programs using oracle rules
Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi
International Journal of Innovative Computing, Information and Control 2011年08月 [査読有り]
国際的学術誌 共著・分担
-
Fast enclosure for solutions in underdetermined systems
Shinya Miyajima
Journal of Computational and Applied Mathematics 2010年10月 [査読有り]
国際的学術誌 単著
-
Fast verification for all eigenpairs in symmetric positive definite generalized eigenvalue problems
Shinya Miyajima, Takeshi Ogita, Siegfried M. Rump, Shin'ichi Oishi
Reliable Computing 2010年06月 [査読有り]
国際的学術誌 共著・分担
-
Fast enclosure for all eigenvalues in generalized eigenvalue problems
Shinya Miyajima
Journal of Computational and Applied Mathematics 2010年04月 [査読有り]
国際的学術誌 単著
-
Automatic detection of incorrect rules in equivalent transformation programs
Shinya Miyajima, Kiyoshi Akama, Hiroshi Mabuchi, Yuya Wakamatsu
International Journal of Innovative Computing, Information and Control 2009年08月 [査読有り]
国際的学術誌 共著・分担
-
GPUを利用した非線形方程式の並列全解探索法
柏木啓一郎, 宮島信也, 柏木雅英
日本応用数理学会論文誌 2008年10月 [査読有り]
学術誌 共著・分担
-
Existence test for solution of nonlinear systems applying affine arithmetic
Shinya Miyajima, Masahide Kashiwagi
Journal of Computational and Applied Mathematics 2007年02月 [査読有り]
国際的学術誌 共著・分担
-
A method of obtaining verified solutions for linear systems suited for Java
K. Ozaki, T. Ogita, S. Miyajima, S. Oishi, S. M. Rump
Journal of Computational and Applied Mathematics 2007年02月 [査読有り]
国際的学術誌 共著・分担
-
実対称行列の各固有対に対する精度保証付き数値計算法
宮島信也, 荻田武史, 大石進一
日本応用数理学会論文誌 2006年12月 [査読有り]
学術誌 共著・分担
-
実対称行列の各固有値に対する精度保証付き数値計算法
宮島信也, 荻田武史, 大石進一
日本応用数理学会論文誌 2005年09月 [査読有り]
学術誌 共著・分担
-
A dividing method utilizing the best multiplication in affine arithmetic
Shinya Miyajima, Masahide Kashiwagi
IEICE Electronics Express 2004年07月 [査読有り]
国際的学術誌 共著・分担
-
On range inclusion of polynomials applying interval arithmetic
Shinya Miyajima, Masahide Kashiwagi
IEICE Transactions 2004年03月 [査読有り]
国際的学術誌 共著・分担
-
A new dividing method in affine arithmetic
Shinya Miyajima, Takatomi Miyata, Masahide Kashiwagi
IEICE Transactions 2003年09月 [査読有り]
国際的学術誌 共著・分担
-
アフィン演算における乗除算について
宮島信也, 宮田孝富, 白井健一, 柏木雅英
電子情報通信学会論文誌 2003年03月 [査読有り]
学術誌 共著・分担
-
アフィン演算における最良乗算について
宮島信也, 宮田孝富, 柏木雅英
電子情報通信学会論文誌 2003年02月 [査読有り]
学術誌 共著・分担