Formalized Mathematics

metrics 2024

Advancing the Foundations of Mathematical Reasoning

Introduction

Formalized Mathematics is a pioneering open-access journal published by SCIENDO, dedicated to the field of formalized systems and mathematical foundations. Since its inception in 2006, it has provided a platform for researchers to discuss and disseminate advancements in applied mathematics and computational mathematics, emphasizing formalization in mathematical reasoning. Although recent coverage in Scopus has been discontinued, the journal still serves as a valuable resource for academics looking to deepen their understanding of formalized approaches to mathematical problems. With its ISSN 1898-9934, the journal not only promotes unrestricted access to quality research but also facilitates collaboration among mathematicians and computer scientists. Given its rankings—20th percentile in Applied Mathematics and 18th percentile in Computational Mathematics—Formalized Mathematics is a vital conduit for innovative research, making it a significant asset for students, professionals, and scholars aiming to explore the intersection of mathematics and formal logic.

Metrics 2024

SCIMAGO Journal Rank-
Journal Impact Factor1.00
Journal Impact Factor (5 years)0.50
H-Index-
Journal IF Without Self1.00
Eigen Factor0.00
Normal Eigen Factor0.01
Influence0.06
Immediacy Index0.40
Cited Half Life4.60
Citing Half Life8.90
JCI0.57
Total Documents-
WOS Total Citations134
SCIMAGO Total Citations-
SCIMAGO SELF Citations-
Scopus Journal Rank0.11
Cites / Document (2 Years)-
Cites / Document (3 Years)-
Cites / Document (4 Years)-

Metrics History

Rank 2024

Scopus

Applied Mathematics in Mathematics
Rank #324/407
Percentile 20.39
Quartile Q4
Computational Mathematics in Mathematics
Rank #93/114
Percentile 18.42
Quartile Q4

IF (Web Of Science)

MATHEMATICS
Rank 117/489
Percentile 76.20
Quartile Q1

JCI (Web Of Science)

MATHEMATICS
Rank 249/489
Percentile 49.08
Quartile Q3

Quartile History

Similar Journals

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY

Pioneering Research in Applied and Theoretical Mathematics
Publisher: AMER MATHEMATICAL SOCISSN: 0002-9947Frequency: 12 issues/year

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, published by the American Mathematical Society, is a premier journal in the field of mathematics that has been contributing to the advancement of mathematical knowledge since 1900. With an ISSN of 0002-9947 and an E-ISSN of 1088-6850, this journal holds a prestigious position in the academic landscape, evidenced by its Q1 rankings in both Applied Mathematics and Miscellaneous Mathematics categories as of 2023. With a Scopus ranking of #97 in General Mathematics and a percentile standing of 75th, the journal is recognized for its rigorous peer-review process and the quality of the research it publishes. Though it does not currently offer open access options, it essentially serves as a vital resource for researchers, professionals, and students seeking critical insights and developments in mathematical theory and applications. The Transactions aim to publish high-quality research articles that foster the exchange and dissemination of ideas, supporting the growth of both theoretical and applied mathematics within the global scholarly community.

Journal of Mathematics

Cultivating dialogue among mathematics enthusiasts.
Publisher: HINDAWI LTDISSN: 2314-4629Frequency: 1 issue/year

Welcome to the Journal of Mathematics, a premier open access journal published by Hindawi Ltd, dedicated to advancing knowledge in the diverse realm of mathematics. Since its inception in 2013, the journal has provided a platform for the dissemination of significant mathematical research and applications, achieving recognition in the 80th percentile of the general mathematics category as per Scopus rankings. With a commitment to fostering academic collaboration and accessibility, the journal promotes critical dialogue among researchers, professionals, and students alike. Located in the vibrant academic hub of London, England, the Journal of Mathematics continues to enhance its impact within the mathematical community, as evidenced by its Q3 classification in mathematics (miscellaneous) for 2023. Join us in exploring groundbreaking research and innovations, as we converge towards the future of mathematical sciences through our open access model.

Acta Mathematica Vietnamica

Diving Deep into Advanced Mathematical Concepts
Publisher: SPRINGER SINGAPORE PTE LTDISSN: 0251-4184Frequency: 4 issues/year

Acta Mathematica Vietnamica is a reputable journal in the field of mathematics, published by Springer Singapore Pte Ltd. With an ISSN of 0251-4184 and an E-ISSN of 2315-4144, this journal has been a significant platform for disseminating research findings and advancements in mathematical theories and applications since its inception. It currently holds a Q3 ranking in Mathematics (miscellaneous) for the year 2023, reflecting its growing influence within the academic community. Despite being based in Singapore, Acta Mathematica Vietnamica resonates globally, attracting contributions from researchers and professionals worldwide. While the journal operates under a subscription model, it offers robust access options, ensuring that critical research is accessible to a diverse audience. Researchers and students will find invaluable insights within its pages, facilitating a deeper understanding and exploration of advanced mathematical concepts. As it continues to converge from 2011 to 2024, this journal remains dedicated to fostering innovation and collaboration in the mathematical sciences.

Missouri Journal of Mathematical Sciences

Exploring the Frontiers of Mathematical Innovation
Publisher: CENTRAL MISSOURI STATE UNIV, DEPT MATHEMATICS & COMPUTER SCIENCEISSN: 0899-6180Frequency: 2 issues/year

The Missouri Journal of Mathematical Sciences, published by the CENTRAL MISSOURI STATE UNIVERSITY, DEPARTMENT OF MATHEMATICS & COMPUTER SCIENCE, serves as an essential platform for disseminating innovative research and advancements in the field of mathematics. Since its inception in 2001, this journal has provided a space for scholars, professionals, and students to exchange ideas and present their findings, contributing to the growing body of knowledge in mathematics. Despite its current category quartile ranking of Q4 in Mathematics (miscellaneous), the journal aims to enhance its impact further, encouraging contributions that push the boundaries of mathematical sciences. Although it operates without an open-access model, it is dedicated to fostering academic discourse and making a meaningful impact through its publications. Researchers interested in exploring mathematical concepts will find this journal to be a valuable resource as it continues to evolve through the years up to 2024, aiming to attract high-quality submissions that showcase significant and practical advancements in mathematics.

Asian Journal of Mathematics

Exploring the Depths of Mathematics
Publisher: INT PRESS BOSTON, INCISSN: 1093-6106Frequency: 4 issues/year

Asian Journal of Mathematics, published by INT PRESS BOSTON, INC, is a premier scholarly journal dedicated to the expansive field of mathematics. With an ISSN of 1093-6106 and E-ISSN 1945-0036, it serves as a crucial platform for disseminating innovative research and methodologies in various mathematical domains. Established in 2005, the journal has garnered a significant reputation, currently holding Q2 rankings in both Applied Mathematics and Mathematics (miscellaneous) categories as of 2023. The journal aims to bridge theoretical research with practical application, making it an essential resource for researchers, professionals, and students seeking to advance their understanding and application of mathematical principles. Although it currently does not offer open access options, the journal's commitment to quality and rigor ensures its place as an influential reference within the mathematical community. Its office is located at PO BOX 43502, SOMERVILLE, MA 02143, United States, strategically positioning it as a key contributor to global mathematical discourse.

COLLOQUIUM MATHEMATICUM

Fostering collaboration in the world of mathematics.
Publisher: ARS POLONA-RUCHISSN: 0010-1354Frequency: 8 issues/year

COLLOQUIUM MATHEMATICUM, published by ARS POLONA-RUCH, serves as an essential platform for the dissemination of innovative research in the field of mathematics. With an ISSN of 0010-1354 and a dedicated E-ISSN of 1730-6302, this journal plays a crucial role in advancing mathematical knowledge and fostering collaboration within the academic community. Although it is categorized in the Q3 quartile for miscellaneous mathematics, its content consistently attracts a diverse readership, reflecting a wide array of mathematical disciplines. Spanning publication years from 2001 to 2009 and resuming from 2011 to the present, *COLLOQUIUM MATHEMATICUM* offers researchers, professionals, and students the unique opportunity to engage with groundbreaking concepts and methodologies. With its home base in Warsaw, Poland, this journal not only contributes to the regional mathematical landscape but also impacts the broader global community. While currently not adopting an open access model, the journal remains committed to quality research, evidenced by its Scopus ranking within the general mathematics category. Engage with *COLLOQUIUM MATHEMATICUM* to be at the forefront of mathematical exploration.

Bulletin Mathematique de la Societe des Sciences Mathematiques de Roumanie

Fostering Innovation in Mathematical Research
Publisher: SOC MATEMATICE ROMANIAISSN: 1220-3874Frequency: 4 issues/year

The Bulletin Mathematique de la Societe des Sciences Mathematiques de Roumanie, published by SOC MATEMATICE ROMANIA, is a distinguished platform dedicated to the dissemination of advanced mathematical research and developments. With ISSN 1220-3874 and E-ISSN 2065-0264, this journal serves the global mathematical community, particularly in Romania, fostering collaboration and innovation in varied mathematical disciplines. Despite being categorized in the Q3 quartile of the *Mathematics (miscellaneous)* field and holding a Scopus rank placing it in the 19th percentile, the journal remains committed to publishing high-quality articles that explore theoretical and applied mathematics. Running from 2008 to 2024, it aims to encourage the sharing of knowledge and advancements within both academic and practical domains, affirming its importance as a valuable resource for researchers, professionals, and students alike. Although the journal does not currently offer open access, it contributes to the mathematical discourse through the rigorous selection of papers that adhere to high scholarly standards.

Korean Journal of Mathematics

Pioneering Research for Tomorrow's Mathematicians.
Publisher: KANGWON-KYUNGKI MATHEMATICAL SOCISSN: 1976-8605Frequency: 4 issues/year

The Korean Journal of Mathematics, published by the Kangwon-Kyungki Mathematical Society, is an esteemed platform dedicated to advancing the field of mathematics. With an ISSN of 1976-8605 and E-ISSN of 2288-1433, the journal features a range of scholarly articles that emphasize both theoretical and applied aspects of mathematics, catering to researchers, professionals, and students alike. Although it is not open access, the journal maintains a commitment to academic rigor and integrity, ensuring high-quality contributions to the mathematical community. As it converges from years 2021 to 2024, the Korean Journal of Mathematics is poised to enhance its visibility within the Scopus database, currently ranking #354 out of 399 in the general mathematics category, reflecting its potential for growth and impact in the mathematical sciences. With its strategic focus and institutional backing from Kangwon National University, the journal serves as a vital resource for fostering research and dialogue in the ever-evolving landscape of mathematics.

JOURNAL OF INTERDISCIPLINARY MATHEMATICS

Advancing Mathematical Frontiers through Interdisciplinary Collaboration
Publisher: TARU PUBLICATIONSISSN: 0972-0502Frequency: 8 issues/year

JOURNAL OF INTERDISCIPLINARY MATHEMATICS, published by TARU PUBLICATIONS, is a renowned publication that serves as a critical platform for scholars and practitioners in the field of mathematics, particularly focusing on Analysis and Applied Mathematics. Since its inception in 1998, the journal has provided a robust forum for interdisciplinary research, fostering collaboration across various mathematical domains and enhancing the understanding of complex mathematical concepts. With a commendable Scopus ranking reflecting its quality and impact—Rank #55/193 in Mathematics Analysis and Rank #258/635 in Applied Mathematics—this journal is classified within the Q2 quartile, illustrating its significant contribution to the academic community. Although it follows a traditional subscription model, it encourages accessible scholarship for researchers based in India and beyond. By publishing cutting-edge research, the JOURNAL OF INTERDISCIPLINARY MATHEMATICS seeks to inspire and equip the next generation of mathematicians, making it an invaluable resource for anyone deeply invested in the advancement of mathematical sciences.

Research in the Mathematical Sciences

Exploring New Frontiers in Mathematical Research
Publisher: SPRINGER INT PUBL AGISSN: 2522-0144Frequency: 1 issue/year

Research in the Mathematical Sciences is a prestigious journal published by Springer International Publishing AG, specializing in a diverse range of mathematical disciplines. With an ISSN of 2522-0144 and an E-ISSN of 2197-9847, this journal operates out of Switzerland and has established a reputation for excellence in research dissemination since its inception in 2014. The journal is currently ranked in the highly regarded Q2 quartile for Applied Mathematics, Computational Mathematics, and Mathematics (miscellaneous), along with a Q3 rank in Theoretical Computer Science, reflecting its substantial influence within the academic community. Researchers will find great value in this journal as it features high-quality, peer-reviewed articles that contribute to the advancement of mathematical sciences. The journal promotes open access options, facilitating greater accessibility to innovative research findings. With its comprehensive scope and strong Scopus rankings, Research in the Mathematical Sciences serves as an essential resource for academics, professionals, and students eager to stay at the forefront of mathematical research and its applications.