| 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 |