Formalized Mathematics

Walter de Gruyter
Walter de Gruyter
ISSN: 18989934, 14262630

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
Publications
517
Citations
849
h-index
9
Publications
86
Citations
412
Top-3 citing journals
Top-3 organizations
University of Bialystok
University of Bialystok (101 publications)
Shinshu University
Shinshu University (76 publications)
University of Gdańsk
University of Gdańsk (20 publications)
University of Bialystok
University of Bialystok (16 publications)
Yamaguchi University
Yamaguchi University (7 publications)
University of Gdańsk
University of Gdańsk (6 publications)
Top-3 countries
Poland (141 publications)
Japan (122 publications)
Belgium (33 publications)
Japan (30 publications)
Poland (22 publications)
Germany (5 publications)

Most cited in 5 years

Found 
Found 

Top-100

Citing journals

10
20
30
40
50
60
70
80
90
Formalized Mathematics
81 citations, 9.54%
Lecture Notes in Computer Science
41 citations, 4.83%
Journal of Automated Reasoning
23 citations, 2.71%
Studies in Computational Intelligence
8 citations, 0.94%
AIP Conference Proceedings
6 citations, 0.71%
IEEE Access
6 citations, 0.71%
Communications in Computer and Information Science
5 citations, 0.59%
Advances in Intelligent Systems and Computing
5 citations, 0.59%
Scientific data
4 citations, 0.47%
Electronic Proceedings in Theoretical Computer Science, EPTCS
4 citations, 0.47%
Symmetry
4 citations, 0.47%
Journal of Physics: Conference Series
3 citations, 0.35%
IEEE Transactions on Signal Processing
3 citations, 0.35%
Smart Innovation, Systems and Technologies
3 citations, 0.35%
Sensors
3 citations, 0.35%
SSRN Electronic Journal
3 citations, 0.35%
IEEE Transactions on Neural Networks and Learning Systems
2 citations, 0.24%
IEEE Internet of Things Journal
2 citations, 0.24%
Logic Journal of the IGPL
2 citations, 0.24%
The Japanese Journal of Nutrition and Dietetics
2 citations, 0.24%
Journal of Chemical Physics
1 citation, 0.12%
Acta Arithmetica
1 citation, 0.12%
Frontiers in Neurology
1 citation, 0.12%
Journal of the Acoustical Society of America
1 citation, 0.12%
Afrika Matematika
1 citation, 0.12%
International Journal of Approximate Reasoning
1 citation, 0.12%
Journal of Information Science
1 citation, 0.12%
EPJ Data Science
1 citation, 0.12%
Autonomous Agents and Multi-Agent Systems
1 citation, 0.12%
International Journal of General Systems
1 citation, 0.12%
Information Processing and Management
1 citation, 0.12%
Journal of Symbolic Computation
1 citation, 0.12%
Entertainment Computing
1 citation, 0.12%
Cogent Education
1 citation, 0.12%
Journal of Radiological Protection
1 citation, 0.12%
Expert Systems with Applications
1 citation, 0.12%
IEEE Transactions on Vehicular Technology
1 citation, 0.12%
Optics and Laser Technology
1 citation, 0.12%
Studies in Systems, Decision and Control
1 citation, 0.12%
Mathematics
1 citation, 0.12%
Journal of Systems Architecture
1 citation, 0.12%
Automation in Construction
1 citation, 0.12%
Canadian Mathematical Bulletin
1 citation, 0.12%
International Journal of Remote Sensing
1 citation, 0.12%
Forests
1 citation, 0.12%
Wireless Personal Communications
1 citation, 0.12%
E3S Web of Conferences
1 citation, 0.12%
Computer Graphics Forum
1 citation, 0.12%
SoftwareX
1 citation, 0.12%
Lecture Notes in Electrical Engineering
1 citation, 0.12%
IEEE Robotics and Automation Letters
1 citation, 0.12%
Journal of the European Mathematical Society
1 citation, 0.12%
Information Systems
1 citation, 0.12%
Biomimetics
1 citation, 0.12%
IEEE Transactions on Transportation Electrification
1 citation, 0.12%
Annals of Mathematics and Artificial Intelligence
1 citation, 0.12%
International Journal of Fuzzy Systems
1 citation, 0.12%
Logica Universalis
1 citation, 0.12%
Journal of Interdisciplinary Mathematics
1 citation, 0.12%
Sadhana - Academy Proceedings in Engineering Sciences
1 citation, 0.12%
Environmental Sciences Europe
1 citation, 0.12%
AIMS Mathematics
1 citation, 0.12%
Mathematical Methods in the Applied Sciences
1 citation, 0.12%
Journal of Philosophical Logic
1 citation, 0.12%
IEEE Transactions on Software Engineering
1 citation, 0.12%
Swarm and Evolutionary Computation
1 citation, 0.12%
Applied Sciences (Switzerland)
1 citation, 0.12%
Atti della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali, Rendiconti Lincei Matematica E Applicazioni
1 citation, 0.12%
AI Communications
1 citation, 0.12%
Social Network Analysis and Mining
1 citation, 0.12%
Advances in Mechanical Engineering
1 citation, 0.12%
Rock Mechanics and Rock Engineering
1 citation, 0.12%
Sustainability
1 citation, 0.12%
OPSEARCH
1 citation, 0.12%
Strategy and Leadership
1 citation, 0.12%
Journal of Manufacturing Systems
1 citation, 0.12%
Journal of Network and Computer Applications
1 citation, 0.12%
Journal of Sound and Vibration
1 citation, 0.12%
Soft Computing
1 citation, 0.12%
International Journal of Intelligent Systems
1 citation, 0.12%
Journal of Renewable and Sustainable Energy
1 citation, 0.12%
Journal of Logic and Computation
1 citation, 0.12%
Social Choice and Welfare
1 citation, 0.12%
Science of Computer Programming
1 citation, 0.12%
International Journal of Applied Earth Observation and Geoinformation
1 citation, 0.12%
Engineering Applications of Artificial Intelligence
1 citation, 0.12%
Transportation Research Record
1 citation, 0.12%
Political Analysis
1 citation, 0.12%
Heliyon
1 citation, 0.12%
Energy
1 citation, 0.12%
Australian and New Zealand Journal of Statistics
1 citation, 0.12%
Linear Algebra and Its Applications
1 citation, 0.12%
European Physical Journal C
1 citation, 0.12%
Data in Brief
1 citation, 0.12%
Journal of Computational Design and Engineering
1 citation, 0.12%
Briefings in Bioinformatics
1 citation, 0.12%
Journal of Combinatorial Optimization
1 citation, 0.12%
Computational and Applied Mathematics
1 citation, 0.12%
Experimental Mathematics
1 citation, 0.12%
PLoS ONE
1 citation, 0.12%
10
20
30
40
50
60
70
80
90

Citing publishers

20
40
60
80
100
120
Springer Nature
112 citations, 13.19%
Institute of Electrical and Electronics Engineers (IEEE)
39 citations, 4.59%
Walter de Gruyter
33 citations, 3.89%
Elsevier
25 citations, 2.94%
MDPI
13 citations, 1.53%
10 citations, 1.18%
AIP Publishing
8 citations, 0.94%
Taylor & Francis
5 citations, 0.59%
Oxford University Press
5 citations, 0.59%
Wiley
4 citations, 0.47%
IOP Publishing
4 citations, 0.47%
SAGE
3 citations, 0.35%
electronic proceedings in theoretical computer science, eptcs
3 citations, 0.35%
Social Science Electronic Publishing
3 citations, 0.35%
EDP Sciences
2 citations, 0.24%
Frontiers Media S.A.
2 citations, 0.24%
Association for Computing Machinery (ACM)
2 citations, 0.24%
The Japanese Society of Nutrition and Dietetics
2 citations, 0.24%
European Mathematical Society - EMS - Publishing House GmbH
2 citations, 0.24%
Hans Publishers
2 citations, 0.24%
Cambridge University Press
1 citation, 0.12%
IOS Press
1 citation, 0.12%
Emerald
1 citation, 0.12%
Public Library of Science (PLoS)
1 citation, 0.12%
American Institute of Mathematical Sciences (AIMS)
1 citation, 0.12%
Acoustical Society of America (ASA)
1 citation, 0.12%
American Physical Society (APS)
1 citation, 0.12%
Canadian Mathematical Society
1 citation, 0.12%
Institute of Mathematics, Polish Academy of Sciences
1 citation, 0.12%
Samara State Technical University
1 citation, 0.12%
SPIE-Intl Soc Optical Eng
1 citation, 0.12%
Southwest State University
1 citation, 0.12%
Kazakh-British Technical University
1 citation, 0.12%
Research Square Platform LLC
1 citation, 0.12%
Open Publishing Association
1 citation, 0.12%
The Japan Society for Technology and Plasticity
1 citation, 0.12%
20
40
60
80
100
120

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, 141, 27.27%
Poland
141 publications, 27.27%
Japan, 122, 23.6%
Japan
122 publications, 23.6%
Belgium, 33, 6.38%
Belgium
33 publications, 6.38%
Germany, 28, 5.42%
Germany
28 publications, 5.42%
China, 18, 3.48%
China
18 publications, 3.48%
Italy, 11, 2.13%
Italy
11 publications, 2.13%
Ukraine, 7, 1.35%
Ukraine
7 publications, 1.35%
USA, 5, 0.97%
USA
5 publications, 0.97%
Canada, 2, 0.39%
Canada
2 publications, 0.39%
Lithuania, 2, 0.39%
Lithuania
2 publications, 0.39%
Finland, 2, 0.39%
Finland
2 publications, 0.39%
Austria, 1, 0.19%
Austria
1 publication, 0.19%
United Kingdom, 1, 0.19%
United Kingdom
1 publication, 0.19%
Denmark, 1, 0.19%
Denmark
1 publication, 0.19%
Israel, 1, 0.19%
Israel
1 publication, 0.19%
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, 30, 34.88%
Japan
30 publications, 34.88%
Poland, 22, 25.58%
Poland
22 publications, 25.58%
Germany, 5, 5.81%
Germany
5 publications, 5.81%
USA, 4, 4.65%
USA
4 publications, 4.65%
Belgium, 3, 3.49%
Belgium
3 publications, 3.49%
5
10
15
20
25
30