大石進一
Ogita, T., Rump, S. M., & Oishi, S. (2005). Accurate sum and dot product. en:SIAM Journal on Scientific Computing, 26(6), 1955-1988.
Rump, S. M., Ogita, T., & Oishi, S. (2008). Accurate floating-point summation part I: Faithful rounding. en:SIAM Journal on Scientific Computing, 31(1), 189-224.
Rump, S. M., Ogita, T., & Oishi, S. (2008). Accurate floating-point summation part II: Sign, K-fold faithful and rounding to nearest. en:SIAM Journal on Scientific Computing, 31(2), 1269-1302.
電子情報通信学会論文賞3回、電子情報通信学会猪瀬賞、電子情報通信学会NOLTA、IEICE Best Paper Award、電子情報通信学会フェロー、日本応用数理学会論文賞、日本応用数理学会業績賞、日本応用数理学会ベストオーサー賞、日本応用数理学会フェロー、大川出版賞、電気通信普及財団テレコムシステム技術賞、丹羽記念賞、小野梓記念賞
Liu, X., & Oishi, S. (2013). Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape. en:SIAM Journal on Numerical Analysis, 51(3), 1634-1654.
Liu, X., & Oishi, S. (2013). Guaranteed high-precision estimation for P 0 {\displaystyle P_{0}} interpolation constants on triangular finite elements. Japan Journal of Industrial and Applied Mathematics, 30(3), 635-652.
Oishi, S. (1995). Numerical verification of existence and inclusion of solutions for nonlinear operator equations.