Formalized Mathematics
metrics 2024
Connecting Mathematicians and Computer Scientists Globally
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
Metrics History
Rank 2024
Scopus
IF (Web Of Science)
JCI (Web Of Science)
Quartile History
Similar Journals
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY
Advancing Mathematical Frontiers Since 1900TRANSACTIONS 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.
PROCEEDINGS OF THE INDIAN ACADEMY OF SCIENCES-MATHEMATICAL SCIENCES
Connecting Researchers to the Future of MathematicsPROCEEDINGS OF THE INDIAN ACADEMY OF SCIENCES-MATHEMATICAL SCIENCES is a premier journal published by Springer India, dedicated to advancing the field of mathematics through the dissemination of high-quality research. With its foundation dating back to 1978, the journal serves as a pivotal platform for researchers, professionals, and students alike, fostering a vibrant academic community focused on the latest developments in mathematical sciences. Although currently positioned in the Q3 category for Mathematics (miscellaneous) with a Scopus rank of #340/399, the journal holds immense potential for growth and wider recognition within the academic sphere. It features articles that span various mathematical disciplines, encouraging innovative ideas and methodologies that contribute significantly to the field. The journal's contributions are especially relevant in the context of expanding mathematical applications in science and technology. Though it operates without an Open Access option, the journal remains an invaluable resource for anyone engaged in mathematical research, offering insights that inspire future studies and collaborations.
AMERICAN MATHEMATICAL MONTHLY
Fostering Dialogue Among MathematiciansAMERICAN 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.
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS
Connecting Theoretical Insights with Practical ApplicationsROCKY 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.
EXPERIMENTAL MATHEMATICS
Empowering Research through Experimental MethodologiesEXPERIMENTAL 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.
Korean Journal of Mathematics
Advancing Mathematical Frontiers.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.
Missouri Journal of Mathematical Sciences
Elevating Mathematical Insights for Tomorrow's ChallengesThe 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.
RUSSIAN MATHEMATICAL SURVEYS
Connecting scholars with the latest mathematical insights.RUSSIAN MATHEMATICAL SURVEYS is a leading scholarly journal published by the Steklov Mathematical Institute of the Russian Academy of Sciences, dedicated to advancing the field of mathematics since its inception in 1970. With an ISSN of 0036-0279 and E-ISSN of 1468-4829, this journal publishes comprehensive surveys and research papers that span a variety of mathematical disciplines, offering insights into new theories and methodologies. Ranked in Q2 of the mathematics category and positioned at the 62nd percentile among general mathematics journals in Scopus, it serves as an essential resource for mathematicians, researchers, and students alike. While it currently does not offer open access options, its significant impact on the mathematical community is reflected in its rigorous publication standards and wide readership. The journal plays a crucial role in disseminating cutting-edge research and promoting mathematical discourse within the global academic community, making it a must-read for anyone invested in the dynamics of modern mathematics.
Bulletin Mathematique de la Societe des Sciences Mathematiques de Roumanie
Pioneering Insights in the World of MathematicsThe 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.
Acta et Commentationes Universitatis Tartuensis de Mathematica
Exploring the Depths of Mathematical KnowledgeActa 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.