《群表示论》是作者在北京国际数学研究中心给数学基础强化班授课讲稿的基础上，结合在北京大学数学科学学院多次讲授群表示论课的心得体会编写而成，主要内容包括：有限群在特征不能整除群的阶的域上的线性表示、无限群在复（实）数域上的有限维和无限维线性表示等。《群表示论》紧紧抓住群表示论的主线——研究群的不可约表示,首先提出要研究的问题, 探索如何解决问题, 把深奥的群表示论知识讲得自然、清晰、易懂。在阐述无限群的线性表示理论时，本书介绍了数学上处理无限问题的典型方法，并且对于需要的拓扑学、实（复）分析以及泛函分析的知识作了详尽介绍。本书在绝大多数章节中都配有习题, 并且在书末附有习题解答。
《群表示论》可作为高等院校数学系和物理系的研究生以及高年级本科生的群表示论课的教学用书，也可供数学系和物理系教师、科研工作者以及学过高等代数和抽象代数的读者使用参考。

数学符号是数学文献中用以表示数学概念、数学关系等的记号。本书研究了常见的200余个符号的来龙去脉，着重探讨了常用的100多个符号的产生、发展历史。作者从卷帙浩繁的古算史书中进行考证，以史为据，自成体系，可读性强。
本书可供大、中学师生教学参考、课外阅读，也可供数学史、文化史爱好者阅读。

《基础几何学》分为八章，讲解了连结、分隔与对称－－定性平面几何；平面性与定量平面几何基础理论；圆与三角学；空间中的平行与垂直；向量几何和向量代数；坐标解析几何简介；球面几何和球面三角学；圆锥截线的故事内容。

This book is an English translation of the famous "Green Book" by Lafontaine and Pansu (1979). It has been enriched and expanded with new material to reflect recent progress. Additionally, four appendices, by Gromov on Levy's inequality, by Pansu on "quasiconvex" domains, by Katz on systoles of Riemannian manifolds, and by Semmes overviewing analysis on metric spaces with measures, as well as an extensive bibliography and index round out this unique and beautiful book.

《从数学观点看物理世界：基本粒子与统一场理论》主要系统介绍由作者和汪守宏教授合作建立的关于基本粒子的弱子模型与耦合四种相互作用的统一场理论.这些物理结果是建立在这二人新发展的张量场正交分解、散度约束变分学以及统一场几何学理论的基础之上的.整个工作的特点是物理与数学高度统一、内在逻辑协调一致、结果简单明了.特别是，根据新的数学理论提出两个物理基本原理PID和PRI.由这两个原理可导出统一场方程，并在这个模型框架下推出大量与自然现象相吻合的物理结论。

本书极具特色，它既不是一般的数学教材也不是一般的数学史教材，而是一本通过数学史来讲授数学的教材。本书的作者通过讲述某些数学论题，组织与之相关的概念、人物、思想、问题的背景及发展中的故事等材料，赋予读者数学的统一性的观点。
本书自1989年出版第一版以来，至今一直受到数学界的高度评价和数学爱好者的欢迎。本书对提高数学专业师生及广大爱好数学人士的数学修养很有价值。

Revised 4th edition covers major mathematical ideas and techniques from ancient Near East to 20th-century computer theory. Work of Archimedes, Pascal, Gauss, Hilbert, etc.

本书以初等函数为重点，介绍了微积分相关的内容，包括微分、积分、无穷级数、傅里叶展开和勒贝格积分等9章内容. 作者采用讲义式的叙述方式，把数学看成有生命的东西，让读者有一种别样的新鲜感.
本书是一本经典的微积分教材，原版被日本各大学普遍采用，适合数学专业及其他各理工科专业高年级本科生和低年级研究生用作教材或参考书.

Wolfram语言是一种基于知识、符号编程、自然语言风格的超大型编程语言，是 Wolfram 此前两项里程碑式的作品——科学计算平台 Mathematica 与计算知识搜索引擎 Wolfram Alpha 的结晶。Wolfram公司正在中国推广该软件，本书是Wolfram软件的基础教程，英文版344页，全彩印刷，于2015年12月出版。中文译本将于2017年1月出版。该书作者Stephen Wolfram是Mathematica软件的开发者（1988年）。

Bayesian nets are widely used in artificial intelligence as a calculus for causal reasoning, enabling machines to make predictions, perform diagnoses, take decisions and even to discover causal relationships. But many philosophers have criticised and ultimately rejected the central assumption on which such work is based - the Causal Markov Condition. So should Bayesian nets be abandoned? What explains their success in artificial intelligence? This book argues that the Causal Markov Condition holds as a default rule: it often holds but may need to be repealed in the face of counterexamples. Thus Bayesian nets are the right tool to use by default but naively applying them can lead to problems. The book develops a systematic account of causal reasoning and shows how Bayesian nets can be coherently employed to automate the reasoning processes of an artificial agent. The resulting framework for causal reasoning involves not only new algorithms but also new conceptual foundations. Probability and causality are treated as mental notions - part of an agent's belief state.Yet probability and causality are also objective - different agents with the same background knowledge ought to adopt the same or similar probabilistic and causal beliefs. This book, aimed at researchers and graduate students in computer science, mathematics and philosophy, provides a general introduction to these philosophical views as well as an exposition of the computational techniques that they motivate.

Kurt Godel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Godel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Godel's Nachlass. These long-awaited final two volumes contain Godel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Godel's Nachlass. L All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Godel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Godel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite.

《微分流形与黎曼几何引论(英文版 第2版修订版)》是一本非常好的微分流形入门书。全书从一些基本的微积分知识入手，然后一点点深入介绍，主要内容有：流形介绍、多变量函数和映射、微分流形和子流形、流形上的向量场、张量和流形上的张量场、流形上的积分法、黎曼流形上的微分法以及曲率。书后有难度适中的习题，全书配有很多精美的插图。
《微分流形与黎曼几何引论(英文版 第2版修订版)》非常适合初学者阅读，可作为数学系、物理系、机械系等理工科高年级本科生和研究生的教材。