精度保証付き科学技術計算用ソフトの現状と動向

中尾充宏, 渡部善隆, 皆本晃弥,
日本応用数理学会2002年度年会講演予稿集(3ページ), 慶応義塾大学, 2002年9月.