思考机器探案集 完美的不在场证明 第2版

几何定理机器证明的基本原理 初等几何部分

1984年，吴文俊的学术专著《几何定理机器证明的基本原理》由科学出版社出版，这部专著遵循机械化思想引进数系和公理，依照机械化观点系统地分析了各类几何体系，明确建立了各类几何的机械化定理，着重阐明几何定理机...

思考机器探案集 完美的不在场证明

本书收录了美国著名侦探推理小说作家杰克·福翠尔的多篇经典短篇小说，语言生动，情节设计巧妙，逻辑严谨。小说中塑造的主人公杜凡森教授，被誉为“美国的福尔摩斯”，他敏锐的直觉和精湛的推理能力，为读者献上一场.....

论初等几何定理的机器证明与消去法

本书介绍初等几何的机器证明，重点是消去法。本书详细且细微地介绍了初等几何定理，如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组；同时本书也提出了在公式推导过程中可能出...

几何定理机器证明的几何不变量方法

用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...

不等式机器证明与自动发现

本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......

诉讼证明责任与证明标准研究

本书是一本关于诉讼证明责任责任和标准问题的法学专著。全书分为上下两编，上编论述诉讼证明责任，下编研究诉讼证明标准。

数学思想方法入门 怎样理解证明和作出证明

刑事审判之证明负担及证明程度 比较法及分析

数学证明方法