Computer Mathematics Books - Free eBooks Directory

Free Computer Mathematics ebooks. Categorized directory of free Computer Mathematics books. Read online or download free eBooks in different formats.
23 results - showing 1 - 10
1 2 3
Ordering
The Life of Pi: From Archimedes to Eniac and Beyond by Jonathan M. Borwein
 
0.0 (0)
Free eBooks 55

Ebook Details

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, the ratio of the circumference of a circle to its diameter,
The Life of Pi: From Archimedes to Eniac and Beyond by Jonathan M. Borwein
 
0.0 (0)
Free eBooks 60

Ebook Details

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, the ratio of the circumference of a circle to its diameter,
Pictures of Julia and Mandelbrot Sets
 
0.0 (0)
Free eBooks 60

Ebook Details

Publisher
Wikibooks 2010
The purpose of this book is to show how the computer can draw technically perfect pictures of Julia and Mandelbrot sets. All the definitions, results
Think Stats: Probability and Statistics for Programmers by Allen B. Downey
 
0.0 (0)
Free eBooks 42

Ebook Details

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.
Computer Algebra, Algorithms, Systems and Applications by Richard Liska, at al.
 
0.0 (0)
Free eBooks 37

Ebook Details

Author
Richard Liska, at al.
Publisher
Czech Technical University 1996
Isabelle/HOL: A Proof Assistant for Higher-Order Logic by T. Nipkow, L.C. Paulson, M. Wenzel
 
0.0 (0)
Free eBooks 42

Ebook Details

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 (HOL), using the proof assistant Isabelle. It is a tutorial for potential users rather than a monograph for researchers. The book has three parts: Elementary Techniques; Logic and Sets; Advanced Material. ...
Algorithms in Real Algebraic Geometry by S. Basu, R. Pollack, M. Roy
 
0.0 (0)
Free eBooks 43

Ebook Details

Author
S. Basu, R. Pollack, M. Roy
Publisher
Springer 2009
Implementing Mathematics with The Nuprl Proof Development System by R. L. Constable, at al.
 
0.0 (0)
Free eBooks 42

Ebook Details

Author
R. L. Constable, at al.
Publisher
Prentice Hall 1986
The authors offer a tutorial on the new mathematical ideas which underlie their research. In doing so they have tried to provide several entry points into the material,
Algorithmic Algebra by Bhubaneswar Mishra
 
0.0 (0)
Free eBooks 38

Ebook Details

Author
Bhubaneswar Mishra
Publisher
Courant Institute of Mathematical Sciences 1993
Algorithmic Algebra studies some of the main algorithmic tools of computer algebra, covering such topics as Gröbner bases, characteristic sets, resultants and semialgebraic sets. The main purpose of the book is to acquaint advanced undergraduate and graduate students in computer science,
Mathematics in the Age of the Turing Machine by Thomas Hales
 
0.0 (0)
Free eBooks 48

Ebook Details

Author
Thomas Hales
Publisher
arXiv 2013
Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn.
23 results - showing 1 - 10
1 2 3