S. Hayashi: "Formalized Mathematics, Proof Animation, and Limit Computable Mathematics"Relevance and Feasibility of Mathematical Analysis on the Computer, RIMS, Kyoto, March 21/22, 数理解析研究所講究録. (2000)
S. Hayashi: "Formalized Mathematics, Proof Animation, and Limit Computable Mathematics"Relevance and Feasibility of Mathematical Analysis on the Computer, RIMS, Kyoto, March 21/22, 数理解析研究所講究録. (2000)
复制标题
S. Hayashi：“形式化数学、证明动画和极限可计算数学”计算机数学分析的相关性和可行性，RIMS，京都，3 月 21 日/22 日，数学分析研究所 Kokyuroku（2000 年）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
