Love it or hate it, you can’t escape mathematics! So here’s bringing 21 free ebooks to lend you some help.
Atithya Amaresh
Publisher: Wikibooks , 2012
This book is about the topic of mathematical analysis, particularly in the field of engineering. This will build on topics covered in Probability, Algebra, Linear Algebra, Calculus, Ordinary Differential Equations, and others.
2. Handbook of Engineering Mathematics
Author: Walter E. Wynne, William Spraragen
Publisher: Van Nostrand 1916
In publishing this book the authors have endeavored to supply a handy means of reference to theoretical and applied mathematics used in engineering, and while the first aim has been to make this a mathematical handbook, the book is of greater value because it includes the underlying engineering data and applications as well as the mathematical formulae.
3. The Life of Pi: From Archimedes to Eniac and Beyond
Author: Jonathan M. Borwein
Publisher: DocServer, 2010
The desire to understand Pi, the challenge, and originally the need, to calculate ever more accurate values of Pi, has challenged mathematicians for many many centuries, and Pi has provided compelling examples of computational mathematics.
4. Essential Engineering Mathematics
Author: Michael Batty
Publisher: Bookboon, 2010
This textbook covers topics such as functions, single variable calculus, multivariate calculus, differential equations and complex functions. The necessary linear algebra for multivariate calculus is also outlined. More advanced topics which have been omitted, but which you will certainly come across, are partial differential equations, Fourier transforms and Laplace transforms.
5. Think Stats: Probability and Statistics for Programmers
Author: Allen B. Downey
Publisher: Green Tea Press, 2011
Think Stats is an introduction to Probability and Statistics for Python programmers. This new book emphasizes simple techniques you can use to explore real data sets and answer interesting statistical questions. Basic skills in Python are assumed.
6. Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Author: T. Nipkow, L.C. Paulson, M. Wenzel
Publisher: Springer, 2010
This book is a self-contained introduction to interactive proof in higher-order logic, using the proof assistant Isabelle. It is a tutorial for potential users. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material.
7. Computer Algebra, Algorithms, Systems and Applications
Author: Richard Liska, at al.
Publisher: Czech Technical University, 1996
From the table of contents: Introduction; Algorithms for algebraic computation; Integrated mathematical systems; Basic possibilities of integrated mathematical systems; Applications of computer algebra; Another sources of study.
8. Algorithms in Real Algebraic Geometry
Author: S. Basu, R. Pollack, M. Roy
Publisher: Springer, 2009
The monograph gives a detailed exposition of the algorithmic real algebraic geometry. It is well written and will be useful both for beginners and for advanced readers, who work in real algebraic geometry or apply its methods in other fields.
9. Implementing Mathematics with The Nuprl Proof Development System
Author: R. L. Constable, at al.
Publisher: Prentice Hall, 1986
The authors offer a tutorial on the new mathematical ideas which underlie their research. Many of the ideas in this book will be accessible to a well-trained undergraduate with a good background in mathematics and computer science.
Author: Bhubaneswar Mishra
Publisher: Courant Institute of Mathematical Sciences, 1993
The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer science, engineering and mathematics with the algorithmic ideas in computer algebra so that they could do research in computational algebra.
11. An Architecture for Combinator Graph Reduction
Author: Philip J. Koopman, Jr.
Publisher: Academic Press, 1990
The results of cache-simulation experiments with an abstract machine for reducing combinator graphs are presented. The abstract machine, called TIGRE, exhibits reduction rates that compare favorably with previously reported techniques.
