3.Pi的简史：从阿基米德到Eniac
Jonathan M. Borwein著，出版商：DocServer, 2010
理解Pi，挑战Pi，原始需要，计算更加精确的Pi的值，这些难题已经挑战了数学家多个世纪，并且Pi已经被证明是计算机数学令人信服的例子。

4. Julia 集和Mandelbrot集概览 
– Wikibooks, 2010
这本书展示了计算机是如何画出技术完美的Julia 集和Mandelbrot集图片的。书中对所有必要的理论进行了解释，并提出了一些关于如何将它们放入计算机程序中的建议。

5. 想像统计：程序员的概率和统计 
Allen B. Downey著，出版商Green Tea Press, 2011
《想像统计》是一本为Python 程序员准备的概率和统计导论。这本新书着重于用来探索真实数据集合的简单技巧，并回答了一些有趣统计问题。该书假设你已经对Python有所了解。

6.  Isabelle/HOL: 高阶逻辑的辅助证明
作者T. Nipkow、L.C. Paulson、M. Wenzel——施普林格出版社，2010
这本书是高阶逻辑的辅助证明的介绍，使用的是Isabelle的辅助证明。这是潜能用户的一本指南。这本书有三个部分：基本技术；逻辑与集合；高级内容。

7.计算机代数，算法，系统和应用
作者Richard Liska。捷克技术大学，1996
目录：绪论；代数算法；数学系统的集成；系统数学集成的基础可行性；计算机代数的应用；研究资源。

8.实代数几何算法
作者S. Basu、R. Pollack、M. Roy——施普林格出版社，2009
专著详细论述了实代数几何算法。书写得很好，对那些工作在实代数几何或将其应用到其它领域的初学者和高级读者都很有用。

9. Nuprl 证明开发系统的数学应用
R. L. Constable著——Prentice Hall，1986
作者提供一个基于他们研究的新的数学思路。书中的许多想法需要数学和计算机科学的本科教育背景。

10.算法代数
Bhubaneswar Mishra著——柯朗数学科学研究所，1993
本书的主要目的是告知，告知那些正在学习计算机科学的高等本科生算法代数中工程和数学的算法思想，这样他们可以将算法代数应用于研究。

11.组合子图归约结构
Philip J. Koopman、Jr著，科学出版社，1990
提出了降低组合图的高速缓存模拟实验结果的一种抽象机。抽象机，也称TIGRE，其还原率可媲美当前先进的技术。

12. 奇异吸引子：创建混沌系统模型
Julien C.Sproot编写，由M&T Books于2000年出版
混沌和分形改变了我们对这个世界的看法。这本书展示了许多由非常简单的方程所产生的艺术魅力的例子，并教会读者如何生成这种模型的无穷变换。

13. 艺术画廊定理及算法
Joseph O’Rourke编写,牛津大学出版社于1987年出版
艺术画廊定理和算法这么叫是因为这些定理与算法与几何图形的可视性以及几何图形的内部切面问题相关。这本书深入的探讨了这个领域的普遍性问题和特殊性问题。

14. Axiom:一个科学计算系统
Richard D.Jenks,Robert S.Sutor编写，axiom-developer.org与2003年发行
Axiom是一个免费的通用的代数计算系统。这本书对AXIOM做了技术性的介绍，双向性地介绍了由符号计算社团开发的系统教程、访问算法，并介绍了一些高级技术。

15. 数学函数图形化的黄金电子书
由E.Pérez在2008年发表
这本书对复变数领域进行了可视化介绍，并隐性地与对应的真正的平面图形进行了比较。这本书假设读者对平面上的曲线和平面有些许了解。

16. 计算机科学家的数学
Gareth J.Janacek，Mark L.Close编写，由BookBoon于2008年出版
你可以在这本书里找到计算机科学家所必须的基础数学。它应当可以帮助你理解数学概念的意义。并对基本逻辑、 因式分解、 绘图函数和矩阵等等问题进行了解释说明。

17. 数学图解：几何图形和PostScript手册
Bill Casselman 编写，由剑桥大学出版社于2005年出版
作者介绍了PostScirpt语言的基本功能，并展示了如何使用这种语言生成数学图形。这本书包括了对计算机图形的讨论和好风格的数学图解的一些评论。

18. 数学算法与系统分析
Edward A.Bender,S。Gill Williamson编写，由Dover出版社于2005年出版
这本书帮助大学生运用数学语言确定数学领域的许多应用的问题所在。它有四部分组成：计数和罗列，函数、决策树和递归以及图论的基本概念。

19. 计算机3D图形的向量数学
Bradley Kjell编写，由Central Connecticut State University于2003年出版
这本书从计算机图形的视角介绍了向量代数和矩阵代数。它包括了大学生阅读计算机图形书籍所必需的大多数向量和矩阵问题。对那些有兴趣进行游戏编程的计算机科学的学生尤其有用。

20. 数学算法
Leonard Soicher，Franco Vivaldi于2004年发表
这本书是数学算法的教程，它试图满足第二年数学专业的学生。它包括了整数、多项式和向量空间的计算算法。这个课程不需要任何计算经验。

21. 数论和代数学的计算简介
Victor Shoup编写，由剑桥大学出版社于2005年出版
这本书介绍的重点是算法和应用，比如加密和纠错码。许多读者都可以阅读。前提条件是特别学习过大学的计算课程，并具有对某些算法进行证明了一些经验。

转自：http://www.oschina.net/translate/21-free-books-on-computer-mathematics