Immediate Impact
1 by Nobel laureates 3 from Science/Nature 3 standout
Citing Papers
On scientific understanding with artificial intelligence
2022 Standout
Symbols and mental programs: a hypothesis about human singularity
2022 Standout
Works of Temur Kutsia being referenced
Theorema: Towards computer-aided mathematical theory exploration
2005
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Temur Kutsia | 104 | 79 | 26 | 40 | 122 | |
| Laura Kovács | 89 | 85 | 22 | 33 | 142 | |
| Uwe Waldmann | 125 | 107 | 15 | 27 | 148 | |
| Irène Guessarian | 135 | 146 | 23 | 25 | 186 | |
| Paulo A. S. Veloso | 101 | 71 | 21 | 42 | 119 | |
| Damien Pous | 82 | 66 | 27 | 25 | 100 | |
| Stefan Kiefer | 90 | 109 | 21 | 33 | 139 | |
| Florian Rabe | 97 | 83 | 34 | 28 | 134 | |
| Gudmund Skovbjerg Frandsen | 102 | 95 | 17 | 35 | 148 | |
| Jörg Endrullis | 111 | 103 | 21 | 31 | 142 | |
| Witold Charatonik | 66 | 68 | 17 | 22 | 85 |
All Works
Login with ORCID to disown or claim papers
Loading papers...