大约有20,000项符合查询结果项。（搜索耗时：0.0338秒）
为您推荐： 代数不等式的证明 机器证明 全4册 工业机器人集成应用机构设计篇自动化 工业机器人自动化生产线 工业机器人集成应用机构设计篇自动化 解不等式及证明 的方法
-
几何定理机器证明的几何不变量方法
张景中，高小山，周咸青著2015 年出版318 页ISBN：9787030440662用计算机自动证明某一类型几何定理，甚至某一种几何全部定理的原理和方法。从理论角度看，几何定理的机器证明要经历公理化、代数化与坐标化、机械化等步骤，才能编制程序并在计算机上实现。可用机器证明的几何定...
-
基于机器学习算法的分类知识发现及其在文本分析中的应用
祁瑞华著2015 年出版178 页ISBN：9787302415763本书重点论述的是机器学习领域发展最快的部分，也是对传统机器学习算法提出最重大挑战的部分，即机器学习算法在文本分析这一数据挖掘实践中的新应用新发展。随着人类活动的不断发展，各个领域产生了不断增加的大...
-
-
-
量刑证据与证明问题研究
张吉喜著2015 年出版213 页ISBN：9787565322853本书共分八章，第一章为量刑事实的证明与认定：以刑事裁判文书为样本；第二章为量刑证据的可采性；第三章为量刑事实的举证责任和证明标准；第四章为死刑案件中的量刑证明标准；第五章为社会调查报告；第六章为被害人......
-
中立型系统的稳定性与可达集边界 线性矩阵不等式方法
沈长春著2015 年出版180 页ISBN：9787564339920本书给出了几类具有代表性的中立型系统和中立型鲁里叶系统的稳定性和指数稳定性问题研究及稳定性条件；两类具有有界扰动的中立型系统的可达集的椭球形边界问题研究，并得到了寻找系统可达集的椭球形边界的有效...
-
-
司法会计鉴定证明机理研究与实践
郑谊英著2015 年出版226 页ISBN：9787811288582在系统分析我国司法会计鉴定活动本质、明确我国司法会计鉴定的功能定位的基础上，从我国司法会计鉴定的现状出发，以司法会计鉴定司法证明过程为研究对象，围绕司法会计鉴定证明活动的检材获取、筛选鉴别、证明机...
-
素数分布定理与哥德巴赫猜想的证明
谢必成著2015 年出版158 页ISBN：97875647333842000年夏天，作者发现了素数一系列从始至终（多重地、彻底地）按同余均匀分布的规律性。作者能证明这些，是取得了又一系列重大的发现（在2005年冬天）：在数轴上，随着各种奇合数不断被抽出，所有剩下的奇数分成各种“......
-
不等式·理论·方法 经典不等式卷
王向东，苏化明，王方汉编著2015 年出版278 页ISBN：9787560354255本书是论述不等式的理论与方法的一本专门著作，主要围绕着若干著名的经典不等式，从它们的证明方法、相互之间的联系以及它们的应用等几个方面加以系统地论述。本书可以作为大学生选修课的教材，或数学研究工作者...