Logo

The Life of Pi: From Archimedes to Eniac and Beyond

Small book cover: The Life of Pi: From Archimedes to Eniac and Beyond

The Life of Pi: From Archimedes to Eniac and Beyond
by

Publisher: DocServer
Number of pages: 30

Description:
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, has challenged mathematicians -- great and less great -- for many many centuries and, especially recently, Pi has provided compelling examples of computational mathematics. Pi, uniquely in mathematics is pervasive in popular culture and the popular imagination.

Download or read it online for free here:
Download link
(5.4MB, PDF)

Similar books

Book cover: Algorithmic MathematicsAlgorithmic Mathematics
by - Queen Mary University of London
This text is a course in mathematical algorithms, intended for second year mathematics students. It introduces the algorithms for computing with integers, polynomials and vector spaces. The course requires no computing experience.
(24251 views)
Book cover: Implementing Mathematics with The Nuprl Proof Development SystemImplementing Mathematics with The Nuprl Proof Development System
by - Prentice Hall
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.
(17588 views)
Book cover: Isabelle/HOL: A Proof Assistant for Higher-Order LogicIsabelle/HOL: A Proof Assistant for Higher-Order Logic
by - Springer
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.
(18303 views)
Book cover: Computer Algebra, Algorithms, Systems and ApplicationsComputer Algebra, Algorithms, Systems and Applications
by - Czech Technical University
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.
(18306 views)