Are you a researcher?
Create a profile to get free access to personal recommendations for colleagues and new articles.
WOS
Q2
Impact factor
1.0
Years of issue
2024
journal names
Formalized Mathematics
FORMALIZ MATH
Top-3 citing journals
Formalized Mathematics
(81 citations)
Lecture Notes in Computer Science
(41 citations)
Journal of Automated Reasoning
(23 citations)
Top-3 organizations
University of Bialystok
(101 publications)
Shinshu University
(76 publications)
University of Gdańsk
(20 publications)
University of Bialystok
(16 publications)
Yamaguchi University
(7 publications)
University of Gdańsk
(6 publications)
Most cited in 5 years
Found
Nothing found, try to update filter.
Found
Nothing found, try to update filter.
Top-100
Citing journals
Citing publishers
Publishing organizations
|
20
40
60
80
100
120
|
|
|
University of Bialystok
101 publications, 19.54%
|
|
|
Shinshu University
76 publications, 14.7%
|
|
|
University of Gdańsk
20 publications, 3.87%
|
|
|
Qingdao University of Science and Technology
17 publications, 3.29%
|
|
|
Johannes Gutenberg University Mainz
17 publications, 3.29%
|
|
|
Yamaguchi University
13 publications, 2.51%
|
|
|
Japan Advanced Institute of Science and Technology
10 publications, 1.93%
|
|
|
Agricultural University of Kraków
9 publications, 1.74%
|
|
|
Tokyo University of Technology
9 publications, 1.74%
|
|
|
Bialystok University of Technology
7 publications, 1.35%
|
|
|
Ibaraki University
6 publications, 1.16%
|
|
|
Akita Prefectural University
3 publications, 0.58%
|
|
|
University of Helsinki
2 publications, 0.39%
|
|
|
Tokyo University of Science
2 publications, 0.39%
|
|
|
Ludwig Maximilian University of Munich
2 publications, 0.39%
|
|
|
University of Alberta
2 publications, 0.39%
|
|
|
Ben-Gurion University of the Negev
1 publication, 0.19%
|
|
|
University of Copenhagen
1 publication, 0.19%
|
|
|
Carnegie Mellon University
1 publication, 0.19%
|
|
|
University of Birmingham
1 publication, 0.19%
|
|
|
Vienna University of Technology
1 publication, 0.19%
|
|
|
Osaka University
1 publication, 0.19%
|
|
|
University of Stuttgart
1 publication, 0.19%
|
|
|
Nihon University
1 publication, 0.19%
|
|
|
Meiji Pharmaceutical University
1 publication, 0.19%
|
|
|
Hosei University
1 publication, 0.19%
|
|
|
20
40
60
80
100
120
|
Publishing organizations in 5 years
|
2
4
6
8
10
12
14
16
|
|
|
University of Bialystok
16 publications, 18.6%
|
|
|
Yamaguchi University
7 publications, 8.14%
|
|
|
University of Gdańsk
6 publications, 6.98%
|
|
|
Shinshu University
5 publications, 5.81%
|
|
|
Ibaraki University
3 publications, 3.49%
|
|
|
Johannes Gutenberg University Mainz
2 publications, 2.33%
|
|
|
Tokyo University of Technology
2 publications, 2.33%
|
|
|
Carnegie Mellon University
1 publication, 1.16%
|
|
|
Agricultural University of Kraków
1 publication, 1.16%
|
|
|
Meiji Pharmaceutical University
1 publication, 1.16%
|
|
|
Hosei University
1 publication, 1.16%
|
|
|
2
4
6
8
10
12
14
16
|
Publishing countries
|
20
40
60
80
100
120
140
160
|
|
|
Poland
|
Poland, 141, 27.27%
Poland
141 publications, 27.27%
|
|
Japan
|
Japan, 122, 23.6%
Japan
122 publications, 23.6%
|
|
Belgium
|
Belgium, 33, 6.38%
Belgium
33 publications, 6.38%
|
|
Germany
|
Germany, 28, 5.42%
Germany
28 publications, 5.42%
|
|
China
|
China, 18, 3.48%
China
18 publications, 3.48%
|
|
Italy
|
Italy, 11, 2.13%
Italy
11 publications, 2.13%
|
|
Ukraine
|
Ukraine, 7, 1.35%
Ukraine
7 publications, 1.35%
|
|
USA
|
USA, 5, 0.97%
USA
5 publications, 0.97%
|
|
Canada
|
Canada, 2, 0.39%
Canada
2 publications, 0.39%
|
|
Lithuania
|
Lithuania, 2, 0.39%
Lithuania
2 publications, 0.39%
|
|
Finland
|
Finland, 2, 0.39%
Finland
2 publications, 0.39%
|
|
Austria
|
Austria, 1, 0.19%
Austria
1 publication, 0.19%
|
|
United Kingdom
|
United Kingdom, 1, 0.19%
United Kingdom
1 publication, 0.19%
|
|
Denmark
|
Denmark, 1, 0.19%
Denmark
1 publication, 0.19%
|
|
Israel
|
Israel, 1, 0.19%
Israel
1 publication, 0.19%
|
|
Czech Republic
|
Czech Republic, 1, 0.19%
Czech Republic
1 publication, 0.19%
|
|
20
40
60
80
100
120
140
160
|
Publishing countries in 5 years
|
5
10
15
20
25
30
|
|
|
Japan
|
Japan, 30, 34.88%
Japan
30 publications, 34.88%
|
|
Poland
|
Poland, 22, 25.58%
Poland
22 publications, 25.58%
|
|
Germany
|
Germany, 5, 5.81%
Germany
5 publications, 5.81%
|
|
USA
|
USA, 4, 4.65%
USA
4 publications, 4.65%
|
|
Belgium
|
Belgium, 3, 3.49%
Belgium
3 publications, 3.49%
|
|
5
10
15
20
25
30
|