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.