数学写真集 无需语言的证明 第1季

本书由131个“无需语言的证明”的图片组成，每个图片的下面列出了该图片要“证明”的数学结论。当从一个图片中悟出为何该图片证明了相应的数学结论时，读者便能够体会到数学绝妙的美，所以这本书叫做数学写真集...

涉过愤怒的河 野性的证明

内 容 简 介 地处偏远的风道屯，五户人家，十三口人全被 杀死。经过验尸，发现一具来此旅行的女子尸体，而 本屯一位8岁女孩却下落不明。虽经警方全力调 查，但仍未能破案。 两年后，一位叫味泽的男子领着一个10岁的 女...

人性与人性七说 多元的人生观

人性的优点 人性的弱点

本书是一本充满幽默、充满智慧的书，它的目的是为了帮助人们克服忧虑，积极地对待生活，通过克服人性的弱点，发挥人性的优点，从而实现自我的突破，提升人际沟通能力，开创幸福成功的人生。这是一本充满幽默、充满智......

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

完美的证明 一位天才和世纪数学的突破

在2002年11月，一位俄罗斯数学家把他对于庞加莱猜想的证明贴到了互联网上。他不是第一个宣称解决了庞加莱猜想的人。他甚至不是那一年唯一一个把对此猜想的尝试性证明贴到互联网上的人。但是他的证明是对的。...

不等式的分拆降维幂方法与可读证明

本书系统地总结了作者及其合作者近十年来在不等式数学机械化领域的一系列研究成果及其软件（SCHUE01）实现。把本书与SCHUR01结合起来阅读使用可使读者对于不等式的机器证明过程及其理论依据有更为深入的理解。...

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

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

人性的弱点人性的优点大全集

本书选辑了戴尔·卡耐基的名作《人性的弱点》和《人性的优点》，并在此基础上在每章后面收录其他外国名家论述本章主题的内容。在今天这个竞争激烈的社会，卡耐基的思想和洞见及相关引申内容具有极强的实用性和...

人性的弱点人性的优点大全集 超值白金版

本书是记录成千上万人如何走向成功的实例汇集。《人性的弱点》是世界上最伟大的成功学家卡耐基的思想精华，以对人性的的深刻洞见，利用大量普通人不断取得成功的故事激励人们取得辉煌的成功。...