大约有40,487项符合查询结果项。（搜索耗时：0.1472秒）
为您推荐： 数学猜想与证明 数学天书中的证明 title数学写真集 第2季无需语言的证明 证明的故事 从勾股定理到现代数学 一部五幕数学证明 数学证明的艺术
-
不等式的分拆降维幂方法与可读证明
陈胜利著2016 年出版465 页ISBN：9787560357973本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...
-
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
刑事诉讼严格证明探究
罗海敏著2010 年出版212 页ISBN：9787301180631严格证明与自由证明的理论于20世纪20年代产生于德国，其后传至日本、我国台湾地区等地，成为刑事诉讼证明理论的重要组成部分。我国传统上属于大陆法系国家，但并没有形成严格证明的相关理论，也不存在就不同待证事...
-
有趣的哲学启蒙书 芝诺 推理与证明的故事
（韩）吴菜焕著2011 年出版120 页ISBN：7546119366金英俊，明智中学二年级学生，大名鼎鼎的“悖论队长”。可谁知道他以前却是全校有名的“电脑游戏队长”。而这一切都是一场电脑故障引发出来的。在电脑发生逻辑谬误之后，金英俊和弟弟柱浩回到了古希腊，在街头认识...
-
正奇数为素数的判断方程 哥德巴赫猜想的证明
乔鸿彬，乔应旭著2010 年出版106 页ISBN：9787502452810本书稿共5章。首先探讨、设置和寻找证明哥德巴赫猜想所需要的理论知识和理想研究数段，给出了正奇数为素数的必要条件和判断方程，接着提出了适合研究哥德巴赫猜想的数学模型--偶数等分对应模型，猜想的证明方法...
-
不等式机器证明与自动发现
杨路，夏壁灿著2008 年出版226 页ISBN：9787030207210本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作，兼顾经典结果和方法。全书共分七章，分别介绍和论述：多项式的伪除与结式；相对单纯分解；多项式的实根；常系数半代数系统的实解隔离；参......
-
死刑案件证明标准研究
陈虎著2015 年出版186 页ISBN：9787513034630我国法定证明标准十分严格，但是在实践中却经常出现留有余地的判决，证明标准的表达与实践之间呈现出一种悖反关系。本书研究了留有余地判决方式产生的原因，并针对理论界修改死刑案件证明标准的几种思路进行了细...
-
追凶十八年 我证明辛普森无罪
威廉·迪尔（美）著；袁木松（美）译2013 年出版370 页ISBN：9787510207914本书是纪实文学。18年前，橄榄球明星辛普森涉嫌杀害妻子及一名男子，该案轰动一时。最终，由于警方失误，陪审团认定辛普森无罪。8年来，著名侦探威廉·迪尔一直搜寻杀人真凶的踪迹，直到2012年11月，加州大陪审团宣布重....
-
