Mathematics and Computation

A blog about mathematics for computers

About the blog

The Mathematics and Computation blog is devoted to mathematics, computation, and the relationship between them. The topics range from foundations of mathematics and programming languages to educations and visualization in mathematics. The blog is written by Andrej Bauer, with occasional guest posts.

For more information about the technical side of the blog, and how you can contribute to it, please visit the mathematics-and-computation repository at GitHub.