Formalized Mathematics
metrics 2024
Innovating Through Open Access to Mathematical Insights
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
AMERICAN MATHEMATICAL MONTHLY
Illuminating the World of Mathematics MonthlyAMERICAN 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.
Asian Journal of Mathematics
Cultivating Knowledge in MathematicsAsian 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.
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY
Advancing mathematical frontiers since 1891.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 et Commentationes Universitatis Tartuensis de Mathematica
Connecting Mathematicians through Quality ResearchActa 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.
COLLOQUIUM MATHEMATICUM
Elevating mathematical discourse from Warsaw to the world.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.
RUSSIAN MATHEMATICAL SURVEYS
Illuminating the landscape of modern mathematics.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.
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY
Exploring the Depths of Mathematical KnowledgeTRANSACTIONS 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.
Korean Journal of Mathematics
Nurturing Excellence in Mathematical Inquiry.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.
Acta Mathematica Vietnamica
Diving Deep into Advanced Mathematical ConceptsActa 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.
JOURNAL OF INTERDISCIPLINARY MATHEMATICS
Bridging Disciplines for a Deeper Understanding of MathematicsJOURNAL 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.