几何定理机器证明的基本原理 : 初等几何部分
9787030283771
吴文俊著
中国科学技术经典文库·数学卷
O18-39
科学出版社
1984-08
1984
1984
本书共分六章，前两章是关于几何机械化的预备知识，集中介绍了常用几何；后四章致力于几何的机械化问题。第3章为几何定理证明的机械化与Hilben机械化定理，第4、5章分别为(常用)无序几何的机械化定理和(常用)有序几何的机械化定理，第6章阐述各种几何的机械化定理。
求助条款 还望您仔细阅读以下条款，继续浏览或使用服务表示其均得到您的认可：
➊️ 请支持正版图书。肯定和感激作者及出版商的社会贡献，以及国Jia在「教育公平」上作出的努力。
➋️ 站点不存储和发布任何版权资料，只在被访客要求雇佣后才会在其指示下处理要求的相关内容。
➌️ 向博主支付任何费用都意味着在访客的主观意识下雇佣博主，形成博主受雇于访客的劳务关系。
➍️ 只向有购买正版资料者并限于学习目的且不扩散者服务，雇佣即表示你认可和满足此要求。
➎ 雇方承诺不恶意雇佣博主从事违法行为（包括但不限于色情、反动等），否则雇方承担由此引发的后果。
➏️ 博主也不负责鉴别受雇内容之合法性（包括但不限于分裂、犯罪等）， 雇方需自行鉴别和承担相关后果。
❼ 白天完成雇佣内容最迟不超过2小时，晚间最迟第二天12点前，对无法完成的雇佣要求会给予退款。
❽ 雇佣博主为您从事资料查取服务是收费的，其按照北京市最低工资标准时薪计算所得。
名词解释：雇方指访客、甲方（即花钱者、指使者），博主指受雇方、乙方（即被指使者）。
重要告示：有疑问或建议 请联系我！
发表评论 取消回复