Formalized Mathematics
metrics 2024
Unveiling New Horizons in Applied and Computational 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
Metrics History
Rank 2024
Scopus
IF (Web Of Science)
JCI (Web Of Science)
Quartile History
Similar Journals
Missouri Journal of Mathematical Sciences
Exploring the Frontiers of Mathematical InnovationThe 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.
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.
Acta et Commentationes Universitatis Tartuensis de Mathematica
Advancing Mathematical Frontiers with ExcellenceActa 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.
BOLETIN DE LA SOCIEDAD MATEMATICA MEXICANA
Exploring the Depths of Mathematical KnowledgeBOLETIN 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.
Research in Mathematics
Bridging gaps in mathematical scholarship with open access.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.
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.
PROCEEDINGS OF THE INDIAN ACADEMY OF SCIENCES-MATHEMATICAL SCIENCES
Inspiring Collaborations through Pioneering ResearchPROCEEDINGS 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.
Results in Mathematics
Innovating the Future of Mathematics Through Rigorous Scholarship.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.
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.
JOURNAL OF AUTOMATED REASONING
Exploring the Intersection of AI and LogicJOURNAL 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.