Input interpretation
mathematical problems | provers | occupation
Categorized list
computer scientist | Manindra Agrawal, Michael Garey, Neeraj Kayal, Robert Tarjan, Stephen Cook, David S. Johnson, John Hopcroft
mathematician | Ludwig Georg Elias Moses Bieberbach, Max Wilhelm Dehn, Pierre Laurent Wantzel, Sergei Natanovich Bernstein, Teiji Takagi, Theodor Schneider, Thomas Callister Hales, Thomas Penyngton Kirkman, Vladimir Arnold, Warwick Tucker, …
philosopher | Hilary Putnam
computer scientist | mathematician | Nitin Saxena
computer scientist | theorist | Richard Karp
economist | mathematician | John Forbes Nash, Jr.
mathematician | university teacher | Masayoshi Nagata
philosopher | mathematician | René Descartes
mathematician | computer scientist | university teacher | Yuri Vladimirovich Matiyasevich
mathematician | university teacher | computer scientist | Martin Davis