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
Innovating Solutions, One Equation at a TimeThe 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.
Acta et Commentationes Universitatis Tartuensis de Mathematica
Elevating Mathematical Research through CollaborationActa 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.
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS
Bridging Disciplines, Advancing KnowledgeROCKY 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.
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.
RUSSIAN MATHEMATICAL SURVEYS
Bridging theory and practice in the mathematical sciences.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.
Sao Paulo Journal of Mathematical Sciences
Exploring the frontiers of mathematical sciences with rigor.Welcome to the Sao Paulo Journal of Mathematical Sciences, a pivotal platform dedicated to advancing the field of mathematics, published by Springer International Publishing AG. Established in 2015 and running until 2024, this journal serves as a vital resource for researchers, professionals, and students interested in a plethora of mathematical topics, including computational theory, statistics, and general mathematics. While the journal holds a current Q4 quartile ranking in its categories, it provides an opportunity for contributors to disseminate innovative findings in an accessible manner. Although not an open-access publication, the journal is committed to ensuring that high-quality research is available to the academic community, fostering collaboration and growth within the discipline. Researchers seeking to publish in a dynamic and developing journal should consider the Sao Paulo Journal of Mathematical Sciences as an essential avenue for their work.
Boletim Sociedade Paranaense de Matematica
Connecting Minds Through Mathematical ExcellenceBoletim Sociedade Paranaense de Matematica is a distinguished journal within the field of Mathematics, published by the Sociedade Paranaense de Matemática in Brazil. With an ISSN of 0037-8712 and an E-ISSN of 2175-1188, this journal has been committed to fostering open access to mathematical research since 2002, ensuring that cutting-edge research is readily available to the academic community. Operating within the diverse landscape of mathematical studies and ranked Q3 for 2023 in the category of Mathematics (Miscellaneous), the journal serves as a platform for innovative contributions and discussions. It ranks 192nd out of 399 in the Scopus database for General Mathematics, reflecting its steady involvement in the global academic dialogue. The Boletim resides at JD AMERICAS, CAIXA POSTAL 19081, CURITIBA PR 81531-990, Brazil, and aims to connect researchers, practitioners, and students by promoting high-quality research and dissemination of mathematical knowledge. By bridging diverse mathematical theories and applications, the journal not only enhances understanding of the discipline but also drives future research directions.
ABHANDLUNGEN AUS DEM MATHEMATISCHEN SEMINAR DER UNIVERSITAT HAMBURG
Connecting Scholars to the Heart of MathematicsABHANDLUNGEN AUS DEM MATHEMATISCHEN SEMINAR DER UNIVERSITAT HAMBURG, published by Springer Heidelberg, serves as a vital platform for the dissemination of mathematical research and scholarship. With an ISSN of 0025-5858 and an E-ISSN of 1865-8784, this journal has a historical legacy dating back to 1922, reflecting significant contributions in the field of mathematics. While it currently holds a Q3 ranking in the miscellaneous category of mathematics, it is committed to fostering an environment of rigorous academic investigation and collaboration, catering to researchers, professionals, and students alike. Although offering traditional access options, the journal remains a pivotal resource for those seeking to engage with new theories and applications within the mathematical community. As it continues publishing until 2024, ABHANDLUNGEN AUS DEM MATHEMATISCHEN SEMINAR DER UNIVERSITAT HAMBURG represents an excellent opportunity for scholars to share their groundbreaking findings and contribute to the advancement of this dynamic field.
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.
Research in the Mathematical Sciences
Connecting Ideas Across Mathematical FieldsResearch in the Mathematical Sciences is a prestigious journal published by Springer International Publishing AG, specializing in a diverse range of mathematical disciplines. With an ISSN of 2522-0144 and an E-ISSN of 2197-9847, this journal operates out of Switzerland and has established a reputation for excellence in research dissemination since its inception in 2014. The journal is currently ranked in the highly regarded Q2 quartile for Applied Mathematics, Computational Mathematics, and Mathematics (miscellaneous), along with a Q3 rank in Theoretical Computer Science, reflecting its substantial influence within the academic community. Researchers will find great value in this journal as it features high-quality, peer-reviewed articles that contribute to the advancement of mathematical sciences. The journal promotes open access options, facilitating greater accessibility to innovative research findings. With its comprehensive scope and strong Scopus rankings, Research in the Mathematical Sciences serves as an essential resource for academics, professionals, and students eager to stay at the forefront of mathematical research and its applications.