不等式传动装置 机械性的控制实例 1

平面几何定理的机器证明

世纪末的证明 99断想

迄今为止，人类罅战争的方式不外乎两种——以和平制止战争和以战争制止战争。我们中国人感到，克林顿总统先生在性丑闻中夹起的尾巴，今天似乎竖得太高了。男人眼里所欣赏的女人，或多或少，总难免具有他少年时感情所...

王者之路 机器证明及其应用

李代数李超代数及在物理中的应用

李群和李代数对约束力学系统的应用

中国科学院科学出版基金资助出版:本书全面系统论述李群和李代数对约束力学系统—完整约束系统、非完整约束系统和Birkhoff系统的应用。用李代数和李容许代数统一描述各类约束力学系统的运动微分方程，并建立P...

代数拓扑的微分形式

The guiding principle in this book is to use differential forms as an aid in exploring some of the less digestible aspects of algebraic topology. Accordingly， we move primarily in the realm o...

初中代数教案 二年级

线性代数

线性代数