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

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

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

马丁·皮平在苹果园

本书是“国际安徒生奖获奖作家作品书系”中的一本。这是一部篇融合了戏剧、诗歌等元素的长篇小说。主角马丁·皮平是一个类似于吟游诗人的角色，他遇到一个为爱情流泪的“年轻人”。为了帮助这个“年轻人”，他...

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

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

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

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

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

鹦鹉的定理

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

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

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

修订版初中数理化公式定理大全

《初中数理化公式定理大全》（修订版）是一部初中理科教辅工具书，全书448千字.本书按学科分为数学、物理、化学3部分，内容涵盖了"新课标"各版本教材的全部必修和选修知识点.全书以词条为单元编辑而成，内容充实完备...

集值极大极小定理与集值博弈问题

本书主要分为两部分内容：集值极大极小定理与集值博弈问题。分别在向量优化准则与集优化准则下不同准则下研究集值极大极小定理。主要分为：集值极大极小定理与锥鞍点、向量集值极大极小定理、向量集值KyFan极...