研究発表 - 宮島 信也
-
Validated computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation
口頭（一般） Shinya Miyajima
The 13th East Asia SIAM Conference
2018年06月 -
Validated computation for the matrix principal logarithm
口頭（一般） Shinya Miyajima
The 13th East Asia SIAM Conference
2018年06月 -
Fast verified numerical computation for the minimal nonnegative solution of the nonsymmetric algebraic Riccati equation
口頭（一般） 宮島信也
第47回数値解析シンポジウム
2018年06月 -
Verified numerical computation for the matrix principal logarithm
口頭（一般） 宮島信也
日本応用数理学会平成30年研究部会連合発表会
2018年03月 -
多項式固有値問題のすべての固有値に対する数値的検証法
口頭（一般） 相馬彩乃, 宮島信也
日本応用数理学会平成30年研究部会連合発表会
2018年03月 -
Fast validated computation for the solvent of the quadratic matrix equation
口頭（一般） Shinya Miyajima
The 3rd International Conference on Mathematical Sciences and Statistics
2018年02月 -
Fast validated computation for the solution of the T-congruence Sylvester equation
口頭（一般） Shinya Miyajima
The 3rd International Conference on Mathematical Sciences and Statistics
2018年02月 -
Validated computation for the matrix exponential
口頭（一般） Shinya Miyajima
The 3rd International Conference on Mathematical Sciences and Statistics
2018年02月 -
Verified solution of the T-congruence Sylvester equation
口頭（一般） 宮島信也
第15回計算数学研究会
2017年12月 -
Numerical enclosure for the matrix exponential
口頭（一般） 宮島信也
日本応用数理学会2017年度年会
2017年09月 -
Verified computation for the matrix principal pth root
口頭（一般） 宮島信也
第46回数値解析シンポジウム
2017年06月 -
Validated computation for the geometric mean of two matrices
口頭（一般） Shinya Miyajima
The 12th East Asia SIAM Conference
2017年06月 -
Validated solutions to inverse symmetric eigenvalue problems
口頭（一般） Shinya Miyajima
The 12th East Asia SIAM Conference
2017年06月 -
Fast validated computation for the matrix principal pth root
口頭（一般） Shinya Miyajima
The 12th East Asia SIAM Conference
2017年06月 -
Fast verified numerical computation for all eigenvalues and eigenvectors of a matrix
口頭（招待・特別） 宮島信也
第9回福島応用数学研究集会
2017年03月 -
Verified computation for solutions of inverse symmetric eigenvalue problems
口頭（一般） 宮島信也
日本応用数理学会平成29年研究部会連合発表会
2017年03月 -
Verified numerical computation for the geometric mean of two matrices
口頭（一般） 宮島信也
日本応用数理学会平成29年研究部会連合発表会
2017年03月 -
Verified error bounds for approximate solutions of saddle point linear systems
口頭（一般） 宮島信也
第14回計算数学研究会
2016年12月 -
Verified numerical computation for the matrix inverse square root
口頭（招待・特別） 宮島信也
岐阜数理科学セミナー
2016年10月 -
Fast validated computation for solutions of discrete-time algebraic Riccati equations
口頭（一般） Shinya Miyajima
17th International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
2016年09月