Immediate Impact
1 by Nobel laureates 3 from Science/Nature 7 standout
Citing Papers
On scientific understanding with artificial intelligence
2022 Standout
Symbols and mental programs: a hypothesis about human singularity
2022 Standout
Works of Tudor Jebelean being referenced
Theorema: Towards computer-aided mathematical theory exploration
2005
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Tudor Jebelean | 57 | 67 | 12 | 28 | 13 | 89 | |
| Wilmer Ricciotti | 36 | 47 | 17 | 9 | 12 | 73 | |
| Harry G. Mairson | 96 | 143 | 35 | 13 | 19 | 165 | |
| Laurent Théry | 80 | 105 | 12 | 16 | 13 | 121 | |
| Martin Jourdan | 37 | 61 | 14 | 20 | 11 | 92 | |
| Bengt Nordström | 107 | 162 | 12 | 11 | 8 | 173 | |
| Kathi Fisler | 34 | 50 | 8 | 31 | 18 | 76 | |
| Kevin Millikin | 73 | 120 | 10 | 15 | 14 | 123 | |
| Søren B. Lassen | 94 | 134 | 32 | 18 | 15 | 167 | |
| Katalin Friedl | 28 | 55 | 18 | 19 | 15 | 86 | |
| Nils Anders Danielsson | 72 | 87 | 15 | 10 | 13 | 98 |
All Works
Login with ORCID to disown or claim papers
Loading papers...