2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Kevin Buzzard
We discuss the idea that computers might soon help mathematicians to prove theorems in areas where they have not previously been useful. Furthermore we argue that these same comput…