Formalized Mathematics

metrics 2024

Exploring the Intersection of Logic and Mathematics

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

Results in Mathematics

Advancing Mathematical Knowledge, One Result at a Time.
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.

Research in Mathematics

Unlocking the potential of mathematics for all.
Publisher: TAYLOR & FRANCIS LTDISSN: Frequency: 1 issue/year

Research in Mathematics, published by TAYLOR & FRANCIS LTD, is an emerging academic journal dedicated to advancing the field of mathematics through innovative research and scholarship. With an E-ISSN of 2768-4830, this journal aims to foster discussion and dissemination of high-quality mathematical research across a broad spectrum of disciplines, including pure mathematics and applied mathematics. As part of its commitment to accessibility, Research in Mathematics operates on an open-access model, allowing researchers, professionals, and students to engage with groundbreaking studies without barriers. Despite its recent establishment since 2016, and with a current Scopus ranking that positions it in the lower percentile among its peers, the journal offers a platform for new voices in the mathematics community. Its objectives include enhancing visibility for novel mathematical concepts, methodologies, and applications that can significantly impact the academic and professional landscapes. Authors are encouraged to submit original research articles, review papers, and case studies that push the boundaries of mathematical knowledge.

AMERICAN MATHEMATICAL MONTHLY

Fostering Dialogue Among Mathematicians
Publisher: TAYLOR & FRANCIS INCISSN: 0002-9890Frequency: 10 issues/year

AMERICAN MATHEMATICAL MONTHLY, published by Taylor & Francis Inc, is a prominent journal in the field of mathematics, recognized for its contribution to the dissemination of mathematical knowledge and pedagogy. With its ISSN 0002-9890 and E-ISSN 1930-0972, this journal has been a cornerstone for mathematicians since its inception, continuing to provide scholarly articles, educational materials, and insights into contemporary mathematical research. Although it follows a subscription model without Open Access options, its Q2 ranking in the Mathematics (miscellaneous) category reflects its reputable standing among peers, emphasized by its Scopus rank in the 22nd percentile. Based in the United States at 530 Walnut Street, Ste 850, Philadelphia, PA 19106, the journal spans topics that cater to both advanced researchers and aspiring students, facilitating an engaging dialogue within the mathematical community.

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY

Fostering Innovation in Mathematical Theory and Applications
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.

INTERNATIONAL JOURNAL OF MATHEMATICS AND MATHEMATICAL SCIENCES

Exploring the depths of mathematics and its applications.
Publisher: HINDAWI LTDISSN: 0161-1712Frequency: 1 issue/year

INTERNATIONAL JOURNAL OF MATHEMATICS AND MATHEMATICAL SCIENCES is a distinguished peer-reviewed journal published by HINDAWI LTD, dedicated to advancing the field of mathematics and its various applications. Since its inception in 1978, the journal has been committed to open access, ensuring that research is freely available to all, thereby fostering greater collaboration and dissemination of knowledge. With an impressive Q3 ranking in the Mathematics (miscellaneous) category and a notable Scopus rank in the 72nd percentile, this journal is a vital resource for researchers, professionals, and students. The journal covers a wide range of topics in mathematics, from theoretical explorations to applied methodologies, and it continues to serve as a platform for significant contributions in this evolving discipline. Its continuous publication from 1978 to present reflects its enduring relevance and impact in the mathematical sciences community.

JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY

Elevating Research through Rigorous Scholarship
Publisher: AMER MATHEMATICAL SOCISSN: 0894-0347Frequency: 4 issues/year

The Journal of the American Mathematical Society (ISSN: 0894-0347; E-ISSN: 1088-6834), published by the American Mathematical Society, stands as a pillar in the fields of mathematics and applied mathematics. This prestigious journal, with a remarkable impact factor and ranking in the top tier (*Q1*) within both the Applied Mathematics and general Mathematics categories, is recognized for its contribution to advancing mathematical research and theory. With data reflecting it as the 8th ranked journal in General Mathematics (top 2%) and the 34th in Applied Mathematics (top 6%), the journal consistently showcases groundbreaking studies and innovative methods that greatly influence academia and industry alike. Though not an open-access journal, it offers a wealth of resources and intellectual discourse for researchers, professionals, and students alike. Specializing in comprehensive and theoretical aspects of mathematics, the Journal remains dedicated to publishing articles that promote understanding and propel the field forward, highlighting its significance as an essential tool for those engaged in mathematical research.

Acta et Commentationes Universitatis Tartuensis de Mathematica

Elevating Mathematical Research through Collaboration
Publisher: UNIV TARTU PRESSISSN: 1406-2283Frequency: 2 issues/year

Acta et Commentationes Universitatis Tartuensis de Mathematica is a prestigious academic journal dedicated to advancing the field of mathematics, published by UNIV TARTU PRESS. Located in Tartu, Estonia, this journal has been a prominent platform for scholarly discourse since its inception, covering a diverse range of topics in mathematics from theoretical to applied aspects. With an H-index reflecting its contributions to the literature, it holds a notable position in the Q3 quartile ranking for miscellaneous mathematics as of 2023. While it is not open access, the journal aims to disseminate high-quality research that contributes to the academic community and encourages collaboration among mathematicians. As it converges toward the tenth anniversary of its publication in 2024, the journal continually seeks to publish innovative work and foster the growth of knowledge within the mathematical sciences, making it an essential resource for researchers, professionals, and students alike.

JOURNAL OF AUTOMATED REASONING

Elevating Knowledge in AI and Mathematics
Publisher: SPRINGERISSN: 0168-7433Frequency: 7 issues/year

JOURNAL OF AUTOMATED REASONING is a premier academic journal published by SPRINGER, focusing on the dynamic and evolving fields of Artificial Intelligence, Computational Theory and Mathematics, and Software. With an ISSN of 0168-7433 and E-ISSN 1573-0670, this journal ranks impressively in the second quartile (Q2) across multiple categories, reflecting its significant contribution to the advancement of knowledge in automated reasoning methodologies. Since its inception in 1985, it has served as a vital platform for researchers and professionals to share groundbreaking findings and innovative techniques, facilitating the exploration of algorithms, logical frameworks, and reasoning processes that underpin artificial intelligence systems. Although it does not currently offer Open Access options, it remains a highly regarded resource, cited widely in academia, with its impactful publications reflecting deep insights and rigorous scholarly standards. The journal’s esteemed status and its ongoing commitment to fostering a greater understanding of automated reasoning make it an invaluable asset for those dedicated to pushing the boundaries of these interdisciplinary fields.

EXPERIMENTAL MATHEMATICS

Exploring New Dimensions of Mathematical Understanding
Publisher: TAYLOR & FRANCIS INCISSN: 1058-6458Frequency: 4 issues/year

EXPERIMENTAL MATHEMATICS is a distinguished journal published by Taylor & Francis Inc, dedicated to the burgeoning field of mathematics with a special focus on experimental methodologies that illuminate mathematical theories and applications. With an ISSN of 1058-6458 and an E-ISSN of 1944-950X, this journal has been pivotal in advancing research from 1992 to 2024, achieving an impressive Q2 ranking in the Mathematics category for 2023. It serves as a vital platform for researchers and practitioners to share innovative experimental results that contribute to mathematical understanding and training. Although it operates on a subscription basis, the journal is accessible to a broad audience within the mathematical community, boasting a Scopus rank of #153 out of 399 in General Mathematics, placing it in the 61st percentile. Research published in EXPERIMENTAL MATHEMATICS not only enhances academic discourse but also fosters collaboration between theoretical and applied mathematicians, making it an essential resource for students, professionals, and researchers alike.

ABHANDLUNGEN AUS DEM MATHEMATISCHEN SEMINAR DER UNIVERSITAT HAMBURG

Bridging Theory and Application for Future Generations
Publisher: SPRINGER HEIDELBERGISSN: 0025-5858Frequency: 2 issues/year

ABHANDLUNGEN AUS DEM MATHEMATISCHEN SEMINAR DER UNIVERSITAT HAMBURG, published by Springer Heidelberg, serves as a vital platform for the dissemination of mathematical research and scholarship. With an ISSN of 0025-5858 and an E-ISSN of 1865-8784, this journal has a historical legacy dating back to 1922, reflecting significant contributions in the field of mathematics. While it currently holds a Q3 ranking in the miscellaneous category of mathematics, it is committed to fostering an environment of rigorous academic investigation and collaboration, catering to researchers, professionals, and students alike. Although offering traditional access options, the journal remains a pivotal resource for those seeking to engage with new theories and applications within the mathematical community. As it continues publishing until 2024, ABHANDLUNGEN AUS DEM MATHEMATISCHEN SEMINAR DER UNIVERSITAT HAMBURG represents an excellent opportunity for scholars to share their groundbreaking findings and contribute to the advancement of this dynamic field.