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.
![Artur Korniłowicz](https://cdn.adscientificindex.com/pictures/7a/1753051.jpg)
formalization of mathematics
theorem proving
proof assistants
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
21
11
0.524
![Mariusz Zynel](/user/assets/images/profile/no-profile-photo.png)
geometry
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
4
0.444
![Klara Janglajew](/user/assets/images/profile/no-profile-photo.png)
matematyka
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
3
0.500
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
Mariusz Zynel
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
9
4
0.444
Klara Janglajew
H-Index Metrics
Total
Last 6 Years
Last 6 Years / Total
6
3
0.500