分享到:

中国托起数学机械化

数学机械化是国家最高科技奖得主吴文俊的主要成就。完全由中国人开创的这一领域目前进展  (本文共1页) 阅读全文>>

《信息技术教育》2003年01期
信息技术教育

数学机械化与现代教育技术

◇数学机械化应当有更多的直接受益者◇教育信息化对数学机械化的潜在需求◇教...  (本文共4页) 阅读全文>>

《中国科技教育》2017年05期
中国科技教育

从寓理于算到数学机械化 引领中国传统数学的复兴 从机器证明到机械化数学 中国数学发展新的里程碑

吴文俊(1919.5.12—2017.5.7),祖籍浙江嘉兴,出生于上海,1940年毕业于交通大...  (本文共2页) 阅读全文>>

《博览群书》2003年11期
博览群书

评《传统文化与数学机械化》

傅海伦教授所著《传统文化与数学机械化》一书,是作者在博士论文《中国传统数学机械化思想》的基础上补充、完善而成的。该书从传统文化的角度...  (本文共2页) 阅读全文>>

《赣南师范学院学报》1990年30期
赣南师范学院学报

浅谈吴文俊数学机械化思想

本文分析了数学机械化思想的源流,指出...  (本文共5页) 阅读全文>>

《中国基础科学》1999年01期
中国基础科学

数学机械化研究展望

数学机械化理论和方法的建立,是深层次的知识创新,将极大地...  (本文共3页) 阅读全文>>