Formalized Mathematics

Walter de Gruyter

ISSN: 18989934, 14262630

Journal publications in Cobalt

WOS

Impact factor

Years of issue

2024

All time from 2019

Publications

517

Citations

805

h-index

Publications

114

Citations

443

Top-3 citing journals

Formalized Mathematics (68 citations)

Lecture Notes in Computer Science (41 citations)

Journal of Automated Reasoning (23 citations)

Top-3 organizations

All time in 5 years

Shinshu University (1 publication)

Top-3 countries

All time in 5 years

Poland (141 publications)

Japan (122 publications)

Belgium (33 publications)

Japan (34 publications)

Poland (31 publications)

Germany (11 publications)

Most cited in 5 years

Found

Publication title from chars

Since

For

Clear filter

By date

By citations

Publications found: 0

Top-100

Citing journals

	10 20 30 40 50 60 70
Formalized Mathematics	Formalized Mathematics, 68, 8.45% Formalized Mathematics 68 citations, 8.45%
Lecture Notes in Computer Science	Lecture Notes in Computer Science, 41, 5.09% Lecture Notes in Computer Science 41 citations, 5.09%
Journal of Automated Reasoning	Journal of Automated Reasoning, 23, 2.86% Journal of Automated Reasoning 23 citations, 2.86%
Studies in Computational Intelligence	Studies in Computational Intelligence, 8, 0.99% Studies in Computational Intelligence 8 citations, 0.99%
AIP Conference Proceedings	AIP Conference Proceedings, 6, 0.75% AIP Conference Proceedings 6 citations, 0.75%
Advances in Intelligent Systems and Computing	Advances in Intelligent Systems and Computing, 5, 0.62% Advances in Intelligent Systems and Computing 5 citations, 0.62%
Scientific data	Scientific data, 4, 0.5% Scientific data 4 citations, 0.5%
Electronic Proceedings in Theoretical Computer Science, EPTCS	Electronic Proceedings in Theoretical Computer Science, EPTCS, 4, 0.5% Electronic Proceedings in Theoretical Computer Science, EPTCS 4 citations, 0.5%
Communications in Computer and Information Science	Communications in Computer and Information Science, 4, 0.5% Communications in Computer and Information Science 4 citations, 0.5%
Symmetry	Symmetry, 4, 0.5% Symmetry 4 citations, 0.5%
IEEE Access	IEEE Access, 4, 0.5% IEEE Access 4 citations, 0.5%
Journal of Physics: Conference Series	Journal of Physics: Conference Series, 3, 0.37% Journal of Physics: Conference Series 3 citations, 0.37%
Smart Innovation, Systems and Technologies	Smart Innovation, Systems and Technologies, 3, 0.37% Smart Innovation, Systems and Technologies 3 citations, 0.37%
Sensors	Sensors, 3, 0.37% Sensors 3 citations, 0.37%
SSRN Electronic Journal	SSRN Electronic Journal, 3, 0.37% SSRN Electronic Journal 3 citations, 0.37%
IEEE Transactions on Signal Processing	IEEE Transactions on Signal Processing, 2, 0.25% IEEE Transactions on Signal Processing 2 citations, 0.25%
IEEE Internet of Things Journal	IEEE Internet of Things Journal, 2, 0.25% IEEE Internet of Things Journal 2 citations, 0.25%
Logic Journal of the IGPL	Logic Journal of the IGPL, 2, 0.25% Logic Journal of the IGPL 2 citations, 0.25%
Journal of Chemical Physics	Journal of Chemical Physics, 1, 0.12% Journal of Chemical Physics 1 citation, 0.12%
IEEE Transactions on Neural Networks and Learning Systems	IEEE Transactions on Neural Networks and Learning Systems, 1, 0.12% IEEE Transactions on Neural Networks and Learning Systems 1 citation, 0.12%
Journal of the Acoustical Society of America	Journal of the Acoustical Society of America, 1, 0.12% Journal of the Acoustical Society of America 1 citation, 0.12%
International Journal of Approximate Reasoning	International Journal of Approximate Reasoning, 1, 0.12% International Journal of Approximate Reasoning 1 citation, 0.12%
Journal of Information Science	Journal of Information Science, 1, 0.12% Journal of Information Science 1 citation, 0.12%
Autonomous Agents and Multi-Agent Systems	Autonomous Agents and Multi-Agent Systems, 1, 0.12% Autonomous Agents and Multi-Agent Systems 1 citation, 0.12%
International Journal of General Systems	International Journal of General Systems, 1, 0.12% International Journal of General Systems 1 citation, 0.12%
Information Processing and Management	Information Processing and Management, 1, 0.12% Information Processing and Management 1 citation, 0.12%
Journal of Symbolic Computation	Journal of Symbolic Computation, 1, 0.12% Journal of Symbolic Computation 1 citation, 0.12%
Entertainment Computing	Entertainment Computing, 1, 0.12% Entertainment Computing 1 citation, 0.12%
Cogent Education	Cogent Education, 1, 0.12% Cogent Education 1 citation, 0.12%
Journal of Radiological Protection	Journal of Radiological Protection, 1, 0.12% Journal of Radiological Protection 1 citation, 0.12%
IEEE Transactions on Vehicular Technology	IEEE Transactions on Vehicular Technology, 1, 0.12% IEEE Transactions on Vehicular Technology 1 citation, 0.12%
Optics and Laser Technology	Optics and Laser Technology, 1, 0.12% Optics and Laser Technology 1 citation, 0.12%
Studies in Systems, Decision and Control	Studies in Systems, Decision and Control, 1, 0.12% Studies in Systems, Decision and Control 1 citation, 0.12%
Mathematics	Mathematics, 1, 0.12% Mathematics 1 citation, 0.12%
Journal of Systems Architecture	Journal of Systems Architecture, 1, 0.12% Journal of Systems Architecture 1 citation, 0.12%
Automation in Construction	Automation in Construction, 1, 0.12% Automation in Construction 1 citation, 0.12%
International Journal of Remote Sensing	International Journal of Remote Sensing, 1, 0.12% International Journal of Remote Sensing 1 citation, 0.12%
Wireless Personal Communications	Wireless Personal Communications, 1, 0.12% Wireless Personal Communications 1 citation, 0.12%
E3S Web of Conferences	E3S Web of Conferences, 1, 0.12% E3S Web of Conferences 1 citation, 0.12%
Computer Graphics Forum	Computer Graphics Forum, 1, 0.12% Computer Graphics Forum 1 citation, 0.12%
SoftwareX	SoftwareX, 1, 0.12% SoftwareX 1 citation, 0.12%
Lecture Notes in Electrical Engineering	Lecture Notes in Electrical Engineering, 1, 0.12% Lecture Notes in Electrical Engineering 1 citation, 0.12%
IEEE Robotics and Automation Letters	IEEE Robotics and Automation Letters, 1, 0.12% IEEE Robotics and Automation Letters 1 citation, 0.12%
Information Systems	Information Systems, 1, 0.12% Information Systems 1 citation, 0.12%
IEEE Transactions on Transportation Electrification	IEEE Transactions on Transportation Electrification, 1, 0.12% IEEE Transactions on Transportation Electrification 1 citation, 0.12%
International Journal of Fuzzy Systems	International Journal of Fuzzy Systems, 1, 0.12% International Journal of Fuzzy Systems 1 citation, 0.12%
Logica Universalis	Logica Universalis, 1, 0.12% Logica Universalis 1 citation, 0.12%
Journal of Interdisciplinary Mathematics	Journal of Interdisciplinary Mathematics, 1, 0.12% Journal of Interdisciplinary Mathematics 1 citation, 0.12%
Sadhana - Academy Proceedings in Engineering Sciences	Sadhana - Academy Proceedings in Engineering Sciences, 1, 0.12% Sadhana - Academy Proceedings in Engineering Sciences 1 citation, 0.12%
Environmental Sciences Europe	Environmental Sciences Europe, 1, 0.12% Environmental Sciences Europe 1 citation, 0.12%
Mathematical Methods in the Applied Sciences	Mathematical Methods in the Applied Sciences, 1, 0.12% Mathematical Methods in the Applied Sciences 1 citation, 0.12%
Journal of Philosophical Logic	Journal of Philosophical Logic, 1, 0.12% Journal of Philosophical Logic 1 citation, 0.12%
Swarm and Evolutionary Computation	Swarm and Evolutionary Computation, 1, 0.12% Swarm and Evolutionary Computation 1 citation, 0.12%
AI Communications	AI Communications, 1, 0.12% AI Communications 1 citation, 0.12%
Social Network Analysis and Mining	Social Network Analysis and Mining, 1, 0.12% Social Network Analysis and Mining 1 citation, 0.12%
Advances in Mechanical Engineering	Advances in Mechanical Engineering, 1, 0.12% Advances in Mechanical Engineering 1 citation, 0.12%
Sustainability	Sustainability, 1, 0.12% Sustainability 1 citation, 0.12%
Journal of Manufacturing Systems	Journal of Manufacturing Systems, 1, 0.12% Journal of Manufacturing Systems 1 citation, 0.12%
Journal of Network and Computer Applications	Journal of Network and Computer Applications, 1, 0.12% Journal of Network and Computer Applications 1 citation, 0.12%
Journal of Sound and Vibration	Journal of Sound and Vibration, 1, 0.12% Journal of Sound and Vibration 1 citation, 0.12%
Soft Computing	Soft Computing, 1, 0.12% Soft Computing 1 citation, 0.12%
International Journal of Intelligent Systems	International Journal of Intelligent Systems, 1, 0.12% International Journal of Intelligent Systems 1 citation, 0.12%
Journal of Renewable and Sustainable Energy	Journal of Renewable and Sustainable Energy, 1, 0.12% Journal of Renewable and Sustainable Energy 1 citation, 0.12%
Journal of Logic and Computation	Journal of Logic and Computation, 1, 0.12% Journal of Logic and Computation 1 citation, 0.12%
Social Choice and Welfare	Social Choice and Welfare, 1, 0.12% Social Choice and Welfare 1 citation, 0.12%
International Journal of Applied Earth Observation and Geoinformation	International Journal of Applied Earth Observation and Geoinformation, 1, 0.12% International Journal of Applied Earth Observation and Geoinformation 1 citation, 0.12%
Transportation Research Record	Transportation Research Record, 1, 0.12% Transportation Research Record 1 citation, 0.12%
Political Analysis	Political Analysis, 1, 0.12% Political Analysis 1 citation, 0.12%
Heliyon	Heliyon, 1, 0.12% Heliyon 1 citation, 0.12%
Energy	Energy, 1, 0.12% Energy 1 citation, 0.12%
Linear Algebra and Its Applications	Linear Algebra and Its Applications, 1, 0.12% Linear Algebra and Its Applications 1 citation, 0.12%
European Physical Journal C	European Physical Journal C, 1, 0.12% European Physical Journal C 1 citation, 0.12%
Data in Brief	Data in Brief, 1, 0.12% Data in Brief 1 citation, 0.12%
Journal of Computational Design and Engineering	Journal of Computational Design and Engineering, 1, 0.12% Journal of Computational Design and Engineering 1 citation, 0.12%
Briefings in Bioinformatics	Briefings in Bioinformatics, 1, 0.12% Briefings in Bioinformatics 1 citation, 0.12%
Journal of Combinatorial Optimization	Journal of Combinatorial Optimization, 1, 0.12% Journal of Combinatorial Optimization 1 citation, 0.12%
Experimental Mathematics	Experimental Mathematics, 1, 0.12% Experimental Mathematics 1 citation, 0.12%
PLoS ONE	PLoS ONE, 1, 0.12% PLoS ONE 1 citation, 0.12%
Omega	Omega, 1, 0.12% Omega 1 citation, 0.12%
Physical Review B	Physical Review B, 1, 0.12% Physical Review B 1 citation, 0.12%
Frontiers in Animal Science	Frontiers in Animal Science, 1, 0.12% Frontiers in Animal Science 1 citation, 0.12%
Geoenergy Science and Engineering	Geoenergy Science and Engineering, 1, 0.12% Geoenergy Science and Engineering 1 citation, 0.12%
Herald of Kazakh-British technical university	Herald of Kazakh-British technical university, 1, 0.12% Herald of Kazakh-British technical university 1 citation, 0.12%
Advances in Clinical Medicine	Advances in Clinical Medicine, 1, 0.12% Advances in Clinical Medicine 1 citation, 0.12%
HANS Publication PrePrints	HANS Publication PrePrints, 1, 0.12% HANS Publication PrePrints 1 citation, 0.12%
Industrializing Additive Manufacturing	Industrializing Additive Manufacturing, 1, 0.12% Industrializing Additive Manufacturing 1 citation, 0.12%

	10 20 30 40 50 60 70

Citing publishers

	20 40 60 80 100 120
Springer Nature	Springer Nature, 104, 12.92% Springer Nature 104 citations, 12.92%
Institute of Electrical and Electronics Engineers (IEEE)	Institute of Electrical and Electronics Engineers (IEEE), 24, 2.98% Institute of Electrical and Electronics Engineers (IEEE) 24 citations, 2.98%
Elsevier	Elsevier, 21, 2.61% Elsevier 21 citations, 2.61%
Walter de Gruyter	Walter de Gruyter, 18, 2.24% Walter de Gruyter 18 citations, 2.24%
	, 10, 1.24% 10 citations, 1.24%
MDPI	MDPI, 9, 1.12% MDPI 9 citations, 1.12%
AIP Publishing	AIP Publishing, 8, 0.99% AIP Publishing 8 citations, 0.99%
Taylor & Francis	Taylor & Francis, 5, 0.62% Taylor & Francis 5 citations, 0.62%
Oxford University Press	Oxford University Press, 5, 0.62% Oxford University Press 5 citations, 0.62%
IOP Publishing	IOP Publishing, 4, 0.5% IOP Publishing 4 citations, 0.5%
Wiley	Wiley, 3, 0.37% Wiley 3 citations, 0.37%
SAGE	SAGE, 3, 0.37% SAGE 3 citations, 0.37%
electronic proceedings in theoretical computer science, eptcs	electronic proceedings in theoretical computer science, eptcs, 3, 0.37% electronic proceedings in theoretical computer science, eptcs 3 citations, 0.37%
Social Science Electronic Publishing	Social Science Electronic Publishing, 3, 0.37% Social Science Electronic Publishing 3 citations, 0.37%
Hans Publishers	Hans Publishers, 2, 0.25% Hans Publishers 2 citations, 0.25%
Cambridge University Press	Cambridge University Press, 1, 0.12% Cambridge University Press 1 citation, 0.12%
IOS Press	IOS Press, 1, 0.12% IOS Press 1 citation, 0.12%
EDP Sciences	EDP Sciences, 1, 0.12% EDP Sciences 1 citation, 0.12%
Frontiers Media S.A.	Frontiers Media S.A., 1, 0.12% Frontiers Media S.A. 1 citation, 0.12%
Public Library of Science (PLoS)	Public Library of Science (PLoS), 1, 0.12% Public Library of Science (PLoS) 1 citation, 0.12%
Acoustical Society of America (ASA)	Acoustical Society of America (ASA), 1, 0.12% Acoustical Society of America (ASA) 1 citation, 0.12%
American Physical Society (APS)	American Physical Society (APS), 1, 0.12% American Physical Society (APS) 1 citation, 0.12%
SPIE-Intl Soc Optical Eng	SPIE-Intl Soc Optical Eng, 1, 0.12% SPIE-Intl Soc Optical Eng 1 citation, 0.12%
Kazakh-British Technical University	Kazakh-British Technical University, 1, 0.12% Kazakh-British Technical University 1 citation, 0.12%
Research Square Platform LLC	Research Square Platform LLC, 1, 0.12% Research Square Platform LLC 1 citation, 0.12%
Open Publishing Association	Open Publishing Association, 1, 0.12% Open Publishing Association 1 citation, 0.12%
	20 40 60 80 100 120

Publishing organizations

	1
Shinshu University	Shinshu University, 1, 0.19% Shinshu University 1 publication, 0.19%
	1

Publishing organizations in 5 years

	1
Shinshu University	Shinshu University, 1, 0.88% Shinshu University 1 publication, 0.88%
	1

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 35
Japan	Japan, 34, 29.82% Japan 34 publications, 29.82%
Poland	Poland, 31, 27.19% Poland 31 publications, 27.19%
Germany	Germany, 11, 9.65% Germany 11 publications, 9.65%
Belgium	Belgium, 6, 5.26% Belgium 6 publications, 5.26%
USA	USA, 4, 3.51% USA 4 publications, 3.51%
	5 10 15 20 25 30 35