闵可夫斯基定理 从一道华约自主招生试题谈起

本书从一道华约自主招生考题谈起，详细地介绍了闵可夫斯基定理的相关知识及其证明，共分十三章：Blichfeldt引理、圆、正方形和格点、数的几何、椭圆中的格点、闵可夫斯基定理证明Pick定理、平面凸区域等等，并在全...

毕卡大定理 从一道圣彼得堡数学竞赛试题谈起

本书从一道圣彼得堡数学竞赛试题，详细介绍了毕卡大定理的相关知识及应用。全书共分4章，读者可以较全面地了解这类问题的实质，并且还可以认识到它在其他学科中的应用。本书适合中学生、中学教师以及数学爱好者...

高中数理化公式定理手册

为了适应中学教育改革、素质教育、教学以及广大中学生学习数理化的需要，帮助广大中学生朋友理解、掌握教材内容，巩固基础知识和基本技能，拓宽科学视野，掌握科学的学习方法、增强学习能力，我们特地编写了《新课标...

五年高考数理化生公式定理概念全解·物理·化学·生物 高一·高二·高三

本书以最近五年高考中考数理化生的真题为依据对中学的有关公式定理进行了系统的归纳和整理。

全科王·高中 数理化生公式概念定理手册 修订版

本书包含了高中阶段的语文、数学、英语、政治、物理、化学、历史、地理、生物九个学科的内容，每个学科都由概念、公式、规律等知识点组成，目的是将高中阶段的各科知识汇集在一起，轻巧便捷，便于老师和学生将其作...

Modular Forms and Fermat's Last Theorem = 模形式与费马大定理

流形上的微积分 高等微积分中一些经典定理的现代化处理

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

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

初中 数理化生 公式定理解题手册

《初中数理化生公式定理解题手册》是按照初中新课标为体系，通过此书既能巩固所学的知识又可以使学生迅速掌握学科的重点、难点和解题方法。本书由以下板块构成；章节知识梳理，公式，定理，例题与参考答案。本书的编...

鹦鹉的定理

八十六岁的吕升先生，突然收到五十多年前的朋友，从亚马孙森林寄来的一封信及几百公斤的数学书。不久又收到朋友惨遭火焚的警方通知。麦科思在市场救得一只大鹦鹉，它可以讲述许多数学故事与定理。他俩及一对双胞...