I read that in the 30th Anniversary LMS popular lectures you had talked about the problem of tiling a chessboard with dominoes in relation to automated theorem proving.

I don’t know, but wouldn’t that (or some similar topic) be a great mathematical blog topic? ðŸ™‚

]]>Alguns recursos online sobre AnÃ¡lise MatemÃ¡tica coligidos pelo Professor Gowers, rematando uma sÃ©rie de posts sobre o curso de “Analysis I” I da Universidade de Cambridge. ]]>

Analysis resources by Timothy Gowers. Excellent post to revise mathematical analysis. ]]>