At least two of his papers concern the explanation of mathematical discoveries he made by experimenting with computers.[3][4]
Selected publications
with M. Kontsevich: "Connected components of the moduli spaces of Abelian differentials with prescribed singularities", Inventiones mathematicae (2003)
"Flat surfaces", Frontiers in number theory, physics, and geometry (2006)
with M. Kontsevich: "Lyapunov exponents and Hodge theory", (1997)
"Finite Gauss measure on the space of interval exchange transformations. Lyapunov exponents", Annales de l'Institut Fourier (2003)