One of the most controversial debates in mathematics could be settled with the aid of a computer, potentially ending a bitter argument about a complex proof that has raged for more than a decade. The ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback