Formalized Mathematics

metrics 2024

Pioneering Open Access in Formalized 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

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY

Advancing Mathematical Frontiers Since 1900
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 THE AMERICAN MATHEMATICAL SOCIETY

Showcasing Excellence in Theoretical and Applied Math
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.

Asian Journal of Mathematics

Pioneering Insights in Mathematical Domains
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.

Missouri Journal of Mathematical Sciences

Elevating Mathematical Insights for Tomorrow's Challenges
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 Mathematics

Empowering new voices in the world of mathematics.
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.

EXPERIMENTAL MATHEMATICS

Advancing Theories with Innovative Experimental Insights
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.

JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES

Cultivating Knowledge and Sparking Ideas in 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.

BOLETIN DE LA SOCIEDAD MATEMATICA MEXICANA

Fostering Collaboration in the World of Mathematics
Publisher: SPRINGER INT PUBL AGISSN: 1405-213XFrequency: 3 issues/year

BOLETIN DE LA SOCIEDAD MATEMATICA MEXICANA, published by Springer International Publishing AG, is a pivotal journal in the field of mathematics, particularly recognized for its contributions to the miscellaneous mathematics category, holding a commendable Q2 ranking as of 2023. With an ISSN of 1405-213X and an E-ISSN of 2296-4495, the journal serves as a platform for disseminating high-quality research and innovations from both national and international scholars. Operating from Switzerland, the journal encompasses a broad range of topics within mathematics, supporting the development and communication of mathematical knowledge. Although it is not open access, it remains a respected source for researchers, professionals, and students seeking to deepen their understanding of mathematical concepts and applications. Published continuously and rigorously since its converged years, BOLETIN DE LA SOCIEDAD MATEMATICA MEXICANA plays a crucial role in advancing mathematical discourse and collaboration across disciplines.

Vietnam Journal of Mathematics

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

AMERICAN MATHEMATICAL MONTHLY

Empowering the Next Generation of 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.