Sunday, December 8, 2013

Homotopy type theory on Images des mathématiques

›
This post will be a short advertisement to a longer general audience text about homotopy type theory that I published on the website Images...
Friday, November 8, 2013

Ari Hoenig concert

›
Among the three themes I planned to discuss, only math had some place here, and not a single word about jazz. Many concerts, though, and a f...
2 comments :
Friday, October 11, 2013

Walls have ears—Random numbers, Diffie-Hellman, Tom Hales and the NSA

›
I've been silent for a while, sorry. Today's message will be quite short, essentially a bunch of links to various other blog posts...
Friday, March 8, 2013

A presheaf that has no associated sheaf

›
In his paper Basically bounded functors and flat sheaves  (Pacific Math. J, vol. 57, no. 2, 1975, p. 597-610), William C. Waterhouse gives ...

S. Bloch on Milne's Étale cohomology

›
A long time ago, Spencer Bloch wrote a review of James Milne's Étale cohomology  for the Bulletin of AMS which can freely be obtained fr...
Saturday, February 16, 2013

The Poisson summation formula, Minkowski's first theorem, and the density of sphere packings

›
I opened by accident a paper by Henry Cohn and Noam Elkies, New upper bounds on sphere packings I , Annals of Mathematics, 157 (2003), 689–7...
1 comment :
Monday, February 11, 2013

The Poisson summation formula, arithmetic and geometry

›
François Loeser and I just uploaded a paper on arXiv  about Motivic height zeta functions.  That such a thing could be possible is quite fun...