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