名古屋大学附属図書館




1

数学解析の理論的展開の計算機による支援・遂行可能性

京都大学数理解析研究所, 2004.6. -- (数理解析研究所講究録 ; 1381).