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)
Ebooks May 28, 2022 3

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)
Ebooks May 27, 2022 1

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)
Ebooks May 27, 2022 3

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)
Ebooks May 24, 2022 1
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)
Ebooks May 24, 2022 2

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.
Isabelle/HOL: A Proof Assistant for Higher-Order Logic by T. Nipkow, L.C. Paulson, M. Wenzel
 
0.0 (0)
Ebooks May 24, 2022 3

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)
Ebooks May 24, 2022 3

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.
Implementing Mathematics with The Nuprl Proof Development System by R. L. Constable, at al.
 
0.0 (0)
Ebooks May 24, 2022 2

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)
Ebooks May 24, 2022 3

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)
Ebooks May 23, 2022 2

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
0
Shares