最新实例证明的尿疗奇迹 来自世界各地的真实体验记

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

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

高等数学证明题500例解析

本书依据高等数学教学基本要求，参考多本高等数学习题集，考研试题，数学竞赛题，选择约500道证明题，通过对比、分类、归纳、分析，找出不同题目之间的共性和差异，提高学生求解高等数学证明题的效率，培养训练数学思......

刑事主观事实证明问题研究

本书以实体法与程序法的双重视角，深度探讨了刑事主观事实的证明问题与实体法规范（及解释论）的关系，并对如何有效地化解主观事实的证明困境给出了实实在在的答案。针对我国刑法偏重主观要素的特点，提出了如果希望...

诉讼证明中的推定研究

本书是一本对诉讼证明中的“推定”进行研究的专业性学术著作。全书分十章，从“推定的概念与属性”、“推定的学术分类与学科体系”、“推定适用的要素与效果”、“推定的结构机理与适用机理”、“推定的证明...

四色定理的证明和方法论 图形填色的系统控制和调节工程

可信计算远程证明与应用

可信计算是信息安全的一种新技术和新的体系结构，远程证明是可信计算平台的重要功能之一。本书在国内外学者部分研究成果的基础上，介绍了作者在可信计算中的远程认证及其应用方面多年的研究成果。本书主要介绍...

分析题纲与命题证明 第1册 预备知识函数 一元微积分

你不需要向世界证明自己

全部选取适合于中学生阅读，启心明智的文章，同时提高考试的读写能力。被人理解是幸运的，但不被理解未必不幸。一个把自己的价值完全寄托于他人的理解上面的人往往并无价值。一个人越是珍视心灵生活，越容易发现外...

事实证明，人民永远是最可爱的

本书精选马伯庸曾发表在《看天下》杂志、观察者网上的一系列随笔作品。此次是马伯庸随笔作品第一次结集出版，内容涉及广泛，读史、生活、经历，方方面面充分体现了作者丰富广博的知识背景和作为一个现代人的生存...