Created with GIMP

Published at 2560 × 1920 in Can computers prove theorems?

There are lots of levels that still need to be unlocked.

David teaches and researches maths at King’s College London, with a focus on geometry. In his spare time he likes to make music and read poetry.
davidsheard.co.uk/    All articles by David

More from Chalkdust

Both comments and trackbacks are currently closed.