大石進一
Yamanaka, N., Okayama, T., Oishi, S., & Ogita, T. (2010). A fast verified automatic integration algorithm using double exponential formula. Nonlinear Theory and Its Applications, IEICE, 1(1), 119-132.
Yamanaka N., Okayama T., Oishi S. (2016) Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval. In: Kotsireas I., Rump S., Yap C. (eds) Mathematical Aspects of Computer and Information Sciences. MACIS 2015. Lecture Notes in Computer Science, vol 9582. Springer, Cham.
『微積分とモデリングの数理』 朝倉書店 2000/11発行 ISBN 4-254-28501-9
『Linux数値計算ツール』 コロナ社 2000/10発行 ISBN 4-339-02378-7
『精度保証付き数値計算』 コロナ社 1999/12発行 ISBN 4-339-02605-0
『数値計算』 裳華房 1999/03発行 ISBN 4-7853-1514-8
『電子情報通信と数学』 電子情報通信学会 編 1998/02発行 ISBN 4-88552-149-1
『非線形解析入門』 コロナ社 1997/04発行 ISBN 4-339-02600-X (関数解析学の教科書)
『グラフィックス』 牧野光則と共著 日本評論社 1994/07発行 ISBN 4-535-60816-4
『例にもとづく情報理論入門 』 講談社 1993/06発行 ISBN 4-06-153803-9
『フーリエ解析』 岩波書店 1989/06発行 ISBN 4-00-007776-7