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 Richard Liska, at al. - 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.
by Gareth J. Janacek, Mark L. Close - BookBoon
In this textbook you will find the basic mathematics needed by computer scientists. It should help you to understand the meaning of mathematical concepts. Subjects as elementary logic, factorization, plotting functions and matrices are explained.
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 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.