Formalized Mathematics

Walter de Gruyter

ISSN: 18989934, 14262630

Journal publications in Cobalt

Are you a researcher?

Create a profile to get free access to personal recommendations for colleagues and new articles.

WOS

Impact factor

Years of issue

2024

journal names

Formalized Mathematics

FORMALIZ MATH

All time from 2020

Publications

517

Citations

813

h-index

Top-3 citing journals

Formalized Mathematics (70 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

By date By citations

Publication title from 3 chars

Since

For

By date

By citations

Copy link

Publications found: 0

	10 20 30 40 50 60 70
Formalized Mathematics	Formalized Mathematics, 70, 8.61% Formalized Mathematics 70 citations, 8.61%
Lecture Notes in Computer Science	Lecture Notes in Computer Science, 41, 5.04% Lecture Notes in Computer Science 41 citations, 5.04%
Journal of Automated Reasoning	Journal of Automated Reasoning, 23, 2.83% Journal of Automated Reasoning 23 citations, 2.83%
Studies in Computational Intelligence	Studies in Computational Intelligence, 8, 0.98% Studies in Computational Intelligence 8 citations, 0.98%
AIP Conference Proceedings	AIP Conference Proceedings, 6, 0.74% AIP Conference Proceedings 6 citations, 0.74%
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.49% Scientific data 4 citations, 0.49%
Electronic Proceedings in Theoretical Computer Science, EPTCS	Electronic Proceedings in Theoretical Computer Science, EPTCS, 4, 0.49% Electronic Proceedings in Theoretical Computer Science, EPTCS 4 citations, 0.49%
Communications in Computer and Information Science	Communications in Computer and Information Science, 4, 0.49% Communications in Computer and Information Science 4 citations, 0.49%
Symmetry	Symmetry, 4, 0.49% Symmetry 4 citations, 0.49%
IEEE Access	IEEE Access, 4, 0.49% IEEE Access 4 citations, 0.49%
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%
The Japanese Journal of Nutrition and Dietetics	The Japanese Journal of Nutrition and Dietetics, 2, 0.25% The Japanese Journal of Nutrition and Dietetics 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%
Forests	Forests, 1, 0.12% Forests 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%
AIMS Mathematics	AIMS Mathematics, 1, 0.12% AIMS Mathematics 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%
Engineering Applications of Artificial Intelligence	Engineering Applications of Artificial Intelligence, 1, 0.12% Engineering Applications of Artificial Intelligence 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%
Lecture Notes in Operations Research	Lecture Notes in Operations Research, 1, 0.12% Lecture Notes in Operations Research 1 citation, 0.12%
Journal of the Japan Society for Technology of Plasticity	Journal of the Japan Society for Technology of Plasticity, 1, 0.12% Journal of the Japan Society for Technology of Plasticity 1 citation, 0.12%
Computer Languages, Systems & Structures	Computer Languages, Systems & Structures, 1, 0.12% Computer Languages, Systems & Structures 1 citation, 0.12%
Show all (63 more)
	10 20 30 40 50 60 70

	20 40 60 80 100 120
Springer Nature	Springer Nature, 105, 12.92% Springer Nature 105 citations, 12.92%
Institute of Electrical and Electronics Engineers (IEEE)	Institute of Electrical and Electronics Engineers (IEEE), 25, 3.08% Institute of Electrical and Electronics Engineers (IEEE) 25 citations, 3.08%
Elsevier	Elsevier, 23, 2.83% Elsevier 23 citations, 2.83%
Walter de Gruyter	Walter de Gruyter, 20, 2.46% Walter de Gruyter 20 citations, 2.46%
MDPI	MDPI, 10, 1.23% MDPI 10 citations, 1.23%
	, 10, 1.23% 10 citations, 1.23%
AIP Publishing	AIP Publishing, 8, 0.98% AIP Publishing 8 citations, 0.98%
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.49% IOP Publishing 4 citations, 0.49%
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%
The Japanese Society of Nutrition and Dietetics	The Japanese Society of Nutrition and Dietetics, 2, 0.25% The Japanese Society of Nutrition and Dietetics 2 citations, 0.25%
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%
American Institute of Mathematical Sciences (AIMS)	American Institute of Mathematical Sciences (AIMS), 1, 0.12% American Institute of Mathematical Sciences (AIMS) 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%
Association for Computing Machinery (ACM)	Association for Computing Machinery (ACM), 1, 0.12% Association for Computing Machinery (ACM) 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%
The Japan Society for Technology and Plasticity	The Japan Society for Technology and Plasticity, 1, 0.12% The Japan Society for Technology and Plasticity 1 citation, 0.12%
	20 40 60 80 100 120

	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

	5 10 15 20 25 30 35
Japan	Japan, 34, 39.53% Japan 34 publications, 39.53%
Poland	Poland, 31, 36.05% Poland 31 publications, 36.05%
Germany	Germany, 11, 12.79% Germany 11 publications, 12.79%
Belgium	Belgium, 6, 6.98% Belgium 6 publications, 6.98%
USA	USA, 4, 4.65% USA 4 publications, 4.65%
	5 10 15 20 25 30 35

Formalized Mathematics

Are you a researcher?

Most cited in 5 years

Top-100

Citing journals

Citing publishers

Publishing organizations

Publishing organizations in 5 years

Publishing countries

Publishing countries in 5 years

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

	1
Shinshu University	Shinshu University, 1, 1.16% Shinshu University 1 publication, 1.16%
	1