iamafrog的博客

GTM039.An.Invitation.to.C-Algebras,.William.Arveson（C-代数引论）(1)

GTM037.Mathematical.Logic,.Monk.（数理逻辑）(1)

GTM020.Fibre.Bundles,.Dale.Husemoller（纤维丛），数学

投射平面，GTM006.Projective.Planes,.Daniel.R..Hughes,.Fred.C..Piper，数学

A.Course.in.Arithmetic,.Jean-Pierre.Serre，数论教程

这个是计算机视觉中高级议题的集合，一共是14个议题。

泛函分析、泛函分析历史、布尔巴基学派。这是一本布尔巴基学派阐述泛函分析发展历史的书籍。

泛函分析的书

图像处理的数学方法手册

李群的一本书，是扫描版，书的质量不错。 This book is intended for a one year graduate course on Lie groups and Lie algebras. The author proceeds beyond the representation theory of compact Lie groups （which is the basis of many texts）and provides a carefully chosen range of material to give the student the bigger picture. For compact Lie groups, the Peter-Weyl theorem, conjugacy of maximal tori （two proofs）, Weyl character formula and more are covered. The book continues with the study of complex analytic groups, then general noncompact Lie groups, including the Coxeter presentation of the Weyl group, the Iwasawa and Bruhat decompositions, Cartan decomposition, symmetric spaces, Cayley transforms, relative root systems, Satake diagrams, extended Dynkin diagrams and a survey of the ways Lie groups may be embedded in one another. The book culminates in a "topics" section giving depth to the student's understanding of representation theory, taking the Frobenius-Schur duality between the representation theory of the symmetric group and the unitary groups as a unifying theme, with many applications in diverse areas such as random matrix theory, minors of Toeplitz matrices, symmetric algebra decompositions, Gelfand pairs, Hecke algebras, representations of finite general linear groups and the cohomology of Grassmannians and flag varieties. 　　Daniel Bump is Professor of Mathematics at Stanford University. His research is in automorphic forms, representation theory and number theory. He is a co-author of GNU Go, a computer program that plays the game of Go. His previous books include Automorphic Forms and Representations （Cambridge University Press 1997）and Algebraic Geometry （World Scientific 1998）.

抽象系统抽象系统抽象系统抽象系统抽象系统

数学哲学-对于证明和图形世界的介绍数学哲学-对于证明和图形世界的介绍数学哲学-对于证明和图形世界的介绍

多智能体技术的粗步介绍，是清华出版社的，2003年的版本。