The "AD Scientific Index" analyses the academic work of scientists using the H-index, i10 index and number of citations, and provides results that can be used to evaluate the productivity and efficiency of individuals and institutions. In addition to ranking according to "total H-index" for individuals and institutions, you can also see the ranking and analyses according to "last 6 years H-index"and Subject Rankings.

Total 3 scientist
* Total H Index Rankings
Rankings
Ranking Based On Selection: 1
Artur Korniłowicz
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
21
11
0.524
formalization of mathematics
theorem proving
proof assistants
* Total H Index Rankings
Rankings
Ranking Based On Selection: 2
Mariusz Zynel
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
4
0.444
* Total H Index Rankings
Rankings
Ranking Based On Selection: 3
Klara Janglajew
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
3
0.500