当前位置:首页 > 名称
大约有900项符合查询结果项。(搜索耗时:0.0150秒)
为您推荐: 坚持 论人民民主 人民 中华人民共和国 中国人民解放军军械技术学院 中国人民解放军海缆通信
-
李群、李代数和表示论 【数理化】
BRIAN C.HALL2007 年出版354 页ISBN:9787506282970本书是一部学习李群,李代数及其表示论的优秀的研究生教材,有两部分组成,第一部分主要介绍了李群与李代数,以及它们之间的相互关系,同时还介绍了基础的表示论。第二部分则阐述了半单李群与李代数理论。本书的读者...
-
-
Martin-Lof类型论程序设计导论 【数理化】
(瑞典)Bengt Nordstrom等著;宋方敏译2002 年出版195 页ISBN:7305038326创建世界高水平大学项目资助教材:本书包括多型集合、子集合、单型集合、例子四部分内容,从计算科学的角度描述了不同的类型论,适合对计算科学基础感兴趣的研究人员阅读。 ...
-
-
-
有限群表示论中的G 代数 【数理化】
黄文林著2016 年出版137 页ISBN:9787307176836在本书稿中,作者提出了G-代数的点上的相伴关系、局部内G-代数上的覆盖关系、广义膨胀G-代数、G-代数上的广义Brauer构造等概念,并它们进行了深入研究。作者的研究结论有力地统一了块论和Green的不可分解模理...
-
-
-
-
论初等几何定理的机器证明与消去法 【数理化】
朱望规著2016 年出版257 页ISBN:9787118105155本书介绍初等几何的机器证明,重点是消去法。本书详细且细微地介绍了初等几何定理,如何通过坐标系将已知条件转化为公式组。由公式组形成消去法所必需的三角阵列公式组;同时本书也提出了在公式推导过程中可能出...
学科分类