大石進一
2012年紫綬褒章受章
2020年文化功労者
Oishi, S., & Rump, S. M. (2002). Fast verification of solutions of matrix equations. en:Numerische Mathematik, 90(4), 755-773.
太田貴久, 荻田武史, Siegfried M. Rump, 大石進一、「悪条件連立一次方程式の精度保証付き数値計算法(計算の品質, <特集>平成17年研究部会連合発表会)」『日本応用数理学会論文誌』 2005年 15巻 3号 p.269-286, 日本応用数理学会
尾崎克久, 荻田武史, 大石進一、「有向丸めの変更を使用しないタイトな行列積の包含方法」『応用数理』 2011年 21巻 3号 p.186-196, doi:10.11540/bjsiam.21.3_186, 日本応用数理学会