The Life of Pi: From Archimedes to Eniac and Beyond
by Jonathan M. Borwein
Publisher: DocServer 2010
Number of pages: 29
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.
Home page url
Download or read it online for free here:
by Edward A. Bender, S. Gill Williamson - Dover Publications
This text assists undergraduates in mastering the mathematical language to address problems in the field's many applications. It consists of 4 units: counting and listing, functions, decision trees and recursion, and basic concepts of graph theory.
by Julien C. Sprott - M & T Books
Chaos and fractals have revolutionized our view of the world. This book shows examples of the artistic beauty that can arise from very simple equations, and teaches the reader how to produce an endless variety of such patterns.
by Cameron Davidson-Pilon - GitHub, Inc.
This book is designed as an introduction to Bayesian inference from a computational understanding-first, and mathematics-second, point of view. The book assumes no prior knowledge of Bayesian inference nor probabilistic programming.
by T. Nipkow, L.C. Paulson, M. Wenzel - 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.