Probabilistic Programming and Bayesian Methods for Hackers
by Cameron Davidson-Pilon
Publisher: GitHub, Inc. 2013
Description:
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.
Download or read it online for free here:
Read online
(online html)
Similar books
Mathematics in the Age of the Turing Machineby Thomas Hales - arXiv
Computers have rapidly become so pervasive in mathematics that future generations may look back to this day as a golden dawn. The article gives a survey of mathematical proofs that rely on computer calculations and formal proofs.
(12321 views)
Computer Algebra, Algorithms, Systems and Applicationsby 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.
(13100 views)
Algorithms in Real Algebraic Geometryby S. Basu, R. Pollack, M. Roy - Springer
The monograph gives a detailed exposition of the algorithmic real algebraic geometry. It 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.
(13701 views)
Isabelle/HOL: A Proof Assistant for Higher-Order Logicby 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.
(12722 views)