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
repository at GitHub.