Mathematics

Convex Optimization

Convex Optimization

This book is about convex optimization, a special class of mathematical optimization problems, which includes least-squares and linear programming problems.

read more
Modern Computer Arithmetic

Modern Computer Arithmetic

This is a book about algorithms for performing arithmetic, and their implementation on modern computers. It collects in the same document all state-of-the-art algorithms in multiple precision arithmetic (integers, integers modulo n, floating-point numbers).

Elementary Algorithms

Elementary Algorithms

While there have been already a lot of wonderful books about algorithms, data structures and math, however, few of them provide the comparison between the procedural solution and the functional solution. It can be found that functional solution sometimes is very expressive and they are close to what we are familiar in mathematics.

Bayesian Statistics Made Simple

Bayesian Statistics Made Simple

The premise of this book, is that if you know how to program, you can use that skill to learn other topics. This book uses Python code instead of math, and discrete approximations instead of continuous mathematics. As a result, what would be an integral in a math book becomes a summation, and most operations on probability distributions are simple loops.

Information Theory, Inference, and Learning Algorithms

Information Theory, Inference, and Learning Algorithms

This book is aimed at senior undergraduates and graduate students in Engineering, Science, Mathematics, and Computing. It expects familiarity with calculus, probability theory, and linear algebra as taught in a first or second year undergraduate course on mathematics for scientists and engineers.

Elementary Number Theory: Primes, Congruences, and Secrets

Elementary Number Theory: Primes, Congruences, and Secrets

This is a book about prime numbers, congruences, secret messages, and elliptic curves that you can read cover to cover. It grew out of undergraduate courses that the author taught at Harvard, UC San Diego, and the University of Washington.

Communicating Sequential Processes (CSP)

Communicating Sequential Processes (CSP)

Communicating Sequential Processes, or CSP, is a language for describing patterns of interaction. It is supported by an elegant, mathematical theory, a set of proof tools, and an extensive literature. The book Communicating Sequential Processes was first published in 1985 by Prentice Hall International (who have kindly released the copyright); it is an excellent introduction to the language, and also to the mathematical theory.