At the moment, this blog is merely an experiment in mathematical exposition. The focus is on mathematics that arises in theoretical computer science. The idea is to tell mathematicians about what goes on in TCS, as well as to introduce relevant mathematical techniques to theoretical computer scientists at large. Feedback is welcome.
The first three posts of this trial will concern:
- Planar multi-flows, embeddings, and differentiation
- The explicit subspace problem, compressed sensing, and error-correction over the reals
- Geometry of the Laplacian on graphs and spectral data analysis