Monthly Archives: November 2012

All I can say is, good luck

According to the wordpress stats page, someone came to this blog by searching for “automated theorem proving and hodge conjecture”.

Advertisements

2 Comments

Filed under math