21 Free eBooks To Help You In Computer & Engineering Mathematics

0
13126
hand drawn effect lettering spelling mathematics surrounded by various math related symbols

Love it or hate it, you can’t escape mathematics! So here’s bringing 21 free ebooks to lend you some help.

Atithya Amaresh


1. Engineering Analysis

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.

10. Algorithmic Algebra

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.

LEAVE A REPLY

Please enter your comment!
Please enter your name here