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
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.
INTERNATIONAL JOURNAL OF MATHEMATICS AND MATHEMATICAL SCIENCES
Fostering collaboration through open access research.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.
Acta Mathematica Vietnamica
Charting New Territories in Mathematical SciencesActa 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 Mathematics
Elevating the discourse in mathematical sciences.Welcome to the Journal of Mathematics, a premier open access journal published by Hindawi Ltd, dedicated to advancing knowledge in the diverse realm of mathematics. Since its inception in 2013, the journal has provided a platform for the dissemination of significant mathematical research and applications, achieving recognition in the 80th percentile of the general mathematics category as per Scopus rankings. With a commitment to fostering academic collaboration and accessibility, the journal promotes critical dialogue among researchers, professionals, and students alike. Located in the vibrant academic hub of London, England, the Journal of Mathematics continues to enhance its impact within the mathematical community, as evidenced by its Q3 classification in mathematics (miscellaneous) for 2023. Join us in exploring groundbreaking research and innovations, as we converge towards the future of mathematical sciences through our open access model.
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.
PROCEEDINGS OF THE INDIAN ACADEMY OF SCIENCES-MATHEMATICAL SCIENCES
Fostering Innovation in Mathematical Sciences Since 1978PROCEEDINGS 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.
Asian Journal of Mathematics
Advancing Mathematical FrontiersAsian 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
Fostering Ideas, Fueling Mathematical ProgressThe 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.
JOURNAL OF INTERDISCIPLINARY MATHEMATICS
Enhancing Knowledge through Interdisciplinary Mathematical InquiryJOURNAL 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.
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS
Exploring the Depths of Mathematical InnovationROCKY 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.