吴文俊文集_10085615

《吴文俊文集_10085615》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、[GeneralInformation]书名=吴文俊文集作者=吴文俊页数=392SS号=10085615DX号=出版日期=1986年12月第1版出版社=山东教育出版社书名前言目录数学史中国古代数学对世界文化的伟大贡献我国古代测望之学重差理论评介兼评数学史研究中某些方法问题一、引言二、重差理论历史三、后代关于海岛公式的证明四、对这些论证的评论五、数学史研究中的方法问题六、《海岛算经》的发展与影响七、海岛公式证明的复原八、利玛窦来华时期的测望理论及其影响《海岛算经》古证探源出入相补原理一、简单应用和比例理论二、测望术和重差理论三、勾股定理四、勾、股、弦及其和差互求五、秦九韶公式六、开平、

2、立方七、解二次方程八、体积理论和刘徽原理九、羡除公式十、球体积和祖暅原理十一、其他《<九章算术>注释》的序在中外数学史讲习班开幕典礼上的讲话数学论证数学概况及其发展一、数学是研究数与形的科学二、数学发展的未来关于教材的一点看法数学与四个现代化消除对数学的神秘感——推荐《数学译林》数学专论《可剖形在欧氏空间中的实现问题》的绪论一、实现或嵌入问题二、已知的成果及其分析三、本书中的方法四、本书的结构印刷电路与集成电路中的布线问题一、问题的提出二、树形的嵌入问题三、线图的嵌入问题四、（平面性）线图的具体嵌入五、（平面性）线图嵌入的分类总结集成电路设计中的一个数学问题一、引言二、线性图的平面性

3、与示嵌类三、G的平面性判准——基本定理与基本方程组四、基本方程组的分析与简化五、平面图的具体作法六、一些估计七、杂例拓扑中的量度与能计算性博奕论杂谈：（一）二人博奕数学机械化数学的机械化一、什么是数学的机械化二、从证明的机械化到机器证明三、一条切实可行的道路四、历史的启示与未来的技术革命几何定理的机器证明数学的机械化问题数学中的公理化与机械化思想初等几何判定问题与机械化证明一、问题的提出二、举例三、一些引理四、定理的证明几何学机械化方法及其应用数学的机械化与机械化的数学《几何定理机器证明的基本原理（初等几何部分）》的导言复兴构造性的数学分角线相等的三角形——初等几何机器证明问题一、一

4、个古老问题：“两条内分角线相等的三角形是等腰三角形”二、传统证法与机器证法三、机器证法举例四、机器证法大意五、机器证法再举例六、回到前面的古老问题七、“两条外分角线相等的三角形是等腰三角形”，这个猜想成立吗？