Free Computer Mathematics ebooks. Categorized directory of free Computer Mathematics books. Read online or download free ebooks in different formats.
Free Ebooks Directory
17
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,
Free Ebooks Directory
18
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,
Free Ebooks Directory
18
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
Free Ebooks Directory
18
Ebook Details
Category
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.
Free Ebooks Directory
14
Ebook Details
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.
Free Ebooks Directory
20
Ebook Details
Category
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. ...
Free Ebooks Directory
16
Ebook Details
Author
S. Basu, R. Pollack, M. Roy
Publisher
Springer 2009
The monograph gives a self-contained detailed exposition of the algorithmic real algebraic geometry. In general, the monograph 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.
Free Ebooks Directory
18
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,
Free Ebooks Directory
17
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,
Free Ebooks Directory
17
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.