Formalized Mathematics

De Gruyter Brill
De Gruyter Brill
ISSN: 18989934, 14262630

Вы ученый?

Создайте профиль, чтобы получать персональные рекомендации коллег, конференций и новых статей.
 Войти с ORCID
WOS
Q2
Impact factor
1
SJR
0.112
Годы выпуска
2024
Варианты названий
Formalized Mathematics
Публикаций
520
Цитирований
857
Индекс Хирша
9
Публикаций
89
Цитирований
419
Топ-3 цитирующих журналов
Formalized Mathematics
Formalized Mathematics (84 цитирования)
Lecture Notes in Computer Science
Lecture Notes in Computer Science (41 цитирование)
Journal of Automated Reasoning
Journal of Automated Reasoning (23 цитирования)
Топ-3 организаций
Топ-3 стран
Польша (144 публикации)
Япония (122 публикации)
Бельгия (33 публикации)
Япония (29 публикаций)
Польша (23 публикации)
Германия (5 публикаций)

Наиболее цитируемые за 5 лет

Топ-100

Цитирующие журналы

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

Цитирующие издатели

20
40
60
80
100
120
Springer Nature
113 цитирований, 13.19%
Institute of Electrical and Electronics Engineers (IEEE)
39 цитирований, 4.55%
De Gruyter Brill
36 цитирований, 4.2%
Elsevier
27 цитирований, 3.15%
MDPI
13 цитирований, 1.52%
10 цитирований, 1.17%
AIP Publishing
8 цитирований, 0.93%
Taylor & Francis
6 цитирований, 0.7%
Oxford University Press
5 цитирований, 0.58%
Wiley
4 цитирования, 0.47%
IOP Publishing
4 цитирования, 0.47%
SAGE
3 цитирования, 0.35%
Frontiers Media S.A.
3 цитирования, 0.35%
electronic proceedings in theoretical computer science, eptcs
3 цитирования, 0.35%
Social Science Electronic Publishing
3 цитирования, 0.35%
EDP Sciences
2 цитирования, 0.23%
Association for Computing Machinery (ACM)
2 цитирования, 0.23%
The Japanese Society of Nutrition and Dietetics
2 цитирования, 0.23%
European Mathematical Society - EMS - Publishing House GmbH
2 цитирования, 0.23%
Hans Publishers
2 цитирования, 0.23%
Cambridge University Press
1 цитирование, 0.12%
IOS Press
1 цитирование, 0.12%
Emerald
1 цитирование, 0.12%
Public Library of Science (PLoS)
1 цитирование, 0.12%
American Institute of Mathematical Sciences (AIMS)
1 цитирование, 0.12%
Acoustical Society of America (ASA)
1 цитирование, 0.12%
American Physical Society (APS)
1 цитирование, 0.12%
Canadian Mathematical Society
1 цитирование, 0.12%
Institute of Mathematics, Polish Academy of Sciences
1 цитирование, 0.12%
Samara State Technical University
1 цитирование, 0.12%
Hindawi Limited
1 цитирование, 0.12%
SPIE-Intl Soc Optical Eng
1 цитирование, 0.12%
Southwest State University
1 цитирование, 0.12%
Kazakh-British Technical University
1 цитирование, 0.12%
Research Square Platform LLC
1 цитирование, 0.12%
Open Publishing Association
1 цитирование, 0.12%
The Japan Society for Technology and Plasticity
1 цитирование, 0.12%
20
40
60
80
100
120

Публикующиеся организации

20
40
60
80
100
120
Белостокский университет
104 публикации, 20%
Университет Синсю
76 публикаций, 14.62%
Гданьский университет
20 публикаций, 3.85%
Циндаоский университет науки и технологий
17 публикаций, 3.27%
Майнцский университет имени Иоганна Гутенберга
17 публикаций, 3.27%
Университет Ямагути
13 публикаций, 2.5%
Японский передовой институт науки и технологий
10 публикаций, 1.92%
Краковский сельскохозяйственный университет
9 публикаций, 1.73%
Токийский технологический университет
9 публикаций, 1.73%
Белостокский технический университет
7 публикаций, 1.35%
Университет Ибараки
6 публикаций, 1.15%
Университет префектуры Акита
3 публикации, 0.58%
Хельсинкский университет
2 публикации, 0.38%
Токийский научный университет
2 публикации, 0.38%
Мюнхенский университет имени Людвига и Максимилиана
2 публикации, 0.38%
Университет Альберты
2 публикации, 0.38%
Университет им. Бен-Гуриона
1 публикация, 0.19%
Университет Копенгагена
1 публикация, 0.19%
Университет Карнеги — Меллона
1 публикация, 0.19%
Бирмингемский университет
1 публикация, 0.19%
Венский технический университет
1 публикация, 0.19%
Осакский университет
1 публикация, 0.19%
Штутгартский университет
1 публикация, 0.19%
Университет Нихон
1 публикация, 0.19%
Фармацевтический университет Мэйдзи
1 публикация, 0.19%
Университет Хосэй
1 публикация, 0.19%
20
40
60
80
100
120

Публикующиеся организации за 5 лет

2
4
6
8
10
12
14
16
18
Белостокский университет
17 публикаций, 19.1%
Университет Ямагути
7 публикаций, 7.87%
Гданьский университет
6 публикаций, 6.74%
Университет Синсю
5 публикаций, 5.62%
Университет Ибараки
3 публикации, 3.37%
Майнцский университет имени Иоганна Гутенберга
2 публикации, 2.25%
Токийский технологический университет
2 публикации, 2.25%
Университет Карнеги — Меллона
1 публикация, 1.12%
Краковский сельскохозяйственный университет
1 публикация, 1.12%
Фармацевтический университет Мэйдзи
1 публикация, 1.12%
Университет Хосэй
1 публикация, 1.12%
2
4
6
8
10
12
14
16
18

Публикующиеся страны

20
40
60
80
100
120
140
160
Польша, 144, 27.69%
Польша
144 публикации, 27.69%
Япония, 122, 23.46%
Япония
122 публикации, 23.46%
Бельгия, 33, 6.35%
Бельгия
33 публикации, 6.35%
Германия, 28, 5.38%
Германия
28 публикаций, 5.38%
Китай, 18, 3.46%
Китай
18 публикаций, 3.46%
Италия, 11, 2.12%
Италия
11 публикаций, 2.12%
Украина, 7, 1.35%
Украина
7 публикаций, 1.35%
США, 5, 0.96%
США
5 публикаций, 0.96%
Канада, 2, 0.38%
Канада
2 публикации, 0.38%
Литва, 2, 0.38%
Литва
2 публикации, 0.38%
Финляндия, 2, 0.38%
Финляндия
2 публикации, 0.38%
Австрия, 1, 0.19%
Австрия
1 публикация, 0.19%
Великобритания, 1, 0.19%
Великобритания
1 публикация, 0.19%
Дания, 1, 0.19%
Дания
1 публикация, 0.19%
Израиль, 1, 0.19%
Израиль
1 публикация, 0.19%
Чехия, 1, 0.19%
Чехия
1 публикация, 0.19%
20
40
60
80
100
120
140
160

Публикующиеся страны за 5 лет

5
10
15
20
25
30
Япония, 29, 32.58%
Япония
29 публикаций, 32.58%
Польша, 23, 25.84%
Польша
23 публикации, 25.84%
Германия, 5, 5.62%
Германия
5 публикаций, 5.62%
США, 4, 4.49%
США
4 публикации, 4.49%
Бельгия, 3, 3.37%
Бельгия
3 публикации, 3.37%
5
10
15
20
25
30