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

JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES

Pioneering Insights from the Heart of Mathematics
Publisher: WILEYISSN: 0024-6107Frequency: 3 issues/year

JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, published by Wiley, stands as a premier publication in the field of mathematics, particularly recognized for its contributions to general mathematics and its ability to shape contemporary mathematical discourse. With an impact factor that reflects its high citation rate and academic influence, this journal has secured a prestigious Q1 ranking in the Mathematics (miscellaneous) category as of 2023. Encompassing a rich history from its inception in 1926 through various publication phases until 2024, it continues to attract and disseminate innovative research, serving as a vital resource for scholars, practitioners, and students alike. Although it does not currently offer open access options, the journal's commitment to advancing mathematical knowledge makes it an essential source for the latest developments in the discipline. For those engaged in mathematical research, insights from the JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES are invaluable in fostering a deeper understanding and sparking new ideas within the mathematical community.

Vietnam Journal of Mathematics

Unveiling New Horizons in Mathematical Inquiry
Publisher: SPRINGER SINGAPORE PTE LTDISSN: 2305-221XFrequency: 4 issues/year

Vietnam Journal of Mathematics, published by SPRINGER SINGAPORE PTE LTD, serves as a prominent platform for disseminating high-quality research in the field of mathematics. With an ISSN of 2305-221X and E-ISSN 2305-2228, this esteemed journal has established itself as a noteworthy contributor to the academic landscape since its inception in 2013, continuing its coverage until 2024. Enjoying a Q2 ranking in Mathematics (miscellaneous) for 2023, and holding a commendable Scopus rank of #126 out of 399 in General Mathematics, the journal stands at the intersection of innovation and scholarly excellence. Although still developing its open-access model, it provides a valuable resource for researchers, professionals, and students alike, who are keen to explore the vast universe of mathematical inquiry and application. As the journal progresses, it strives not only to publish original research but also to foster dialogue and collaboration within the global mathematics community.

Missouri Journal of Mathematical Sciences

Innovating Solutions, One Equation at a Time
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.

Research in the Mathematical Sciences

Unveiling Innovations in Mathematical Sciences
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.

Bulletin Mathematique de la Societe des Sciences Mathematiques de Roumanie

Advancing Mathematical Frontiers in Romania
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.

Asian Journal of Mathematics

Shaping the Future of Mathematical Inquiry
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.

Results in Mathematics

Innovating the Future of Mathematics Through Rigorous Scholarship.
Publisher: SPRINGER BASEL AGISSN: 1422-6383Frequency: 1 issue/year

Results in Mathematics, published by SPRINGER BASEL AG, is a prestigious academic journal dedicated to advancing the field of mathematics since its inception in 1978. Based in Switzerland, this journal has garnered a significant reputation, holding a Q2 ranking in both Applied Mathematics and miscellaneous Mathematics categories according to the latest 2023 metrics. The journal is a vital resource for researchers, professionals, and students, encouraging open dialogue about emerging mathematical concepts and methodologies. Our editorial objective is to publish high-quality research articles that contribute to theoretical advancements and practical applications in mathematics. Although it does not currently offer open access options, it provides in-depth studies and articles that fortify the knowledge base within the mathematical community. With a commitment to innovation and academic rigor, Results in Mathematics continues to serve as an essential platform for scholarly communication and exploration.

BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY

Spotlighting significant developments in mathematics.
Publisher: AMER MATHEMATICAL SOCISSN: 0273-0979Frequency: 4 issues/year

BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY is a premier peer-reviewed journal published by the American Mathematical Society, dedicated to advancing the field of mathematics since its inception in 1891. With its rigorous focus on both applied and theoretical mathematics, the journal has achieved a notable Q1 ranking in both Applied Mathematics and Mathematics (miscellaneous) categories for 2023, reinforcing its significance in the academic community. With an ISSN of 0273-0979 and an E-ISSN of 1088-9485, it serves as a vital resource for researchers and practitioners, facilitating dissemination of high-quality mathematical research and insights. Despite not offering Open Access, the journal continues to attract a wide readership, spotlighting important developments and emerging trends in the discipline. Its robust Scopus rankings—placing it in the 82nd percentile for General Mathematics and the 62nd percentile for Applied Mathematics—underscore its role as a critical avenue for scholarly communication and innovation. As the field of mathematics evolves, the BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY remains committed to fostering dialogue and disseminating significant findings that shape the future of mathematical research.

Acta Mathematica Vietnamica

Cultivating a Global Dialogue on Mathematical Excellence
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.

ROCKY MOUNTAIN JOURNAL OF MATHEMATICS

Fostering Collaboration in Diverse Mathematical Fields
Publisher: ROCKY MT MATH CONSORTIUMISSN: 0035-7596Frequency: 6 issues/year

ROCKY MOUNTAIN JOURNAL OF MATHEMATICS, published by the Rocky Mountain Math Consortium, serves as a critical platform for researchers and practitioners in the field of mathematics since its inception in 1971. With a notable presence in the academic community, this journal covers a broad spectrum of mathematical disciplines, positioning itself in the Q2 category for Mathematics (miscellaneous) as of 2023. Despite being a subscription-based journal, it is recognized for its rigorous peer-review process and contributions to theoretical and applied mathematics, helping to advance knowledge and foster collaboration among mathematicians. The journal's ISSN number is 0035-7596 and its E-ISSN is 1945-3795, reflecting its commitment to accessibility and dissemination of high-quality research. Based in Tempe, Arizona, at Arizona State University, the journal continues to play an important role in shaping contemporary mathematical discourse through well-researched articles and innovative studies, aiming to bridge gaps between various mathematical subfields and engage a diverse audience, including students and established researchers alike.