Input interpretation
mathematical problems | provers | image
People
Alan Turing | Aleksandr Osipovich Gelfond | Andrew Mattei Gleason | Andrey Nikolaevich Kolmogorov | Carl Friedrich Gauss | David S. Johnson | Emil Artin | Ennio de Giorgi | Ferdinand von Lindemann | Gerhard Gentzen | Helmut Hasse | Hilary Putnam | John Forbes Nash, Jr. | John Hopcroft | Julia Hall Bowman Robinson | Karl Reinhardt | Kurt Gödel | László Lovász | Leonhard Euler | Leonid Khachiyan | … (total: 41)