21本计算机数学相关的免费电子书【转】
计算机数学对于许多人来说可能是一个难以搞定的科目。在这里我们为大家提供了 21 本免费电子书来帮助大家更好的理解计算机数学。
这本书是对贝叶斯推理的一个引导，着重于计算机理解方面，以数学观点为辅。这本书假定你事先即不了解贝叶斯推理也不了解概率编程的知识。
2. 图灵机时代的数学
Thomas Hales 著，出版商：arXiv ，2013
计算机快速增长，变得在数学中无处不在，我们的后代回顾今天，可能会将它视为金色黎明。这篇文章给出了一个关于数学证明需要依赖计算机计算的调查和证明。
Jonathan M. Borwein 著，出版商：DocServer, 2010
理解 Pi，挑战 Pi，原始需要，计算更加精确的 Pi 的值，这些难题已经挑战了数学家多个世纪，并且 Pi 已经被证明是计算机数学令人信服的例子。
- Wikibooks, 2010
这本书展示了计算机是如何画出技术完美的 Julia 集和 Mandelbrot 集图片的。书中对所有必要的理论进行了解释，并提出了一些关于如何将它们放入计算机程序中的建议。
Allen B. Downey 著，出版商 Green Tea Press, 2011
《想像统计》是一本为 Python 程序员准备的概率和统计导论。这本新书着重于用来探索真实数据集合的简单技巧，并回答了一些有趣统计问题。该书假设你已经对 Python 有所了解。
作者T. Nipkow、L.C. Paulson、M. Wenzel——施普林格出版社，2010
这本书是高阶逻辑的辅助证明的介绍，使用的是 Isabelle 的辅助证明。这是潜能用户的一本指南。这本书有三个部分：基本技术；逻辑与集合；高级内容。
作者 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 年出版
你可以在这本书里找到计算机科学家所必须的基础数学。它应当可以帮助你理解数学概念的意义。并对基本逻辑、 因式分解、 绘图函数和矩阵等等问题进行了解释说明。
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 年出版
这本书介绍的重点是算法和应用，比如加密和纠错码。许多读者都可以阅读。前提条件是特别学习过大学的计算课程，并具有对某些算法进行证明了一些经验。
