Steiner问题--分角线相等的三角形(初等几何机器证明问题)(精)/现代数学中的著名定理纵横 简介
本书通过一个古老问题：内角或外角分角线相等的三角形是否等腰的研究，初步介绍了利用电子计算机证明初等几何命题的一些概况，可作为电子计算机在逻辑证明方面应用的启蒙读物。
本书可供中学师生、大学师生及数学爱好者参考阅读。
本书可供中学师生、大学师生及数学爱好者参考阅读。
Steiner问题--分角线相等的三角形(初等几何机器证明问题)(精)/现代数学中的著名定理纵横 电子版图书下载地址：
本书有电子版，如无法下载 请加我们Q群 766799536 联系索取
温馨提示：
关于我们 - 网站帮助 - 版权声明 - 友情连接 - 网站地图
本站所收录作品、社区话题、书库评论及本站所做之广告均属其个人行为，与本站立场无关
本站所有的作品，图书，资料均为网友更新，如果侵犯了您的权利，请与本站联系，本站将立刻删除(E-MAIL：847151540@qq.com)
Copyright © 2005-2016 www.gbook.cc All Rights Reserved.备案号