Formalized Mathematics
metrics 2024
Advancing the Foundations of Mathematical Reasoning
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
JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES
Pioneering Insights from the Heart of MathematicsJOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, published by Wiley, stands as a premier publication in the field of mathematics, particularly recognized for its contributions to general mathematics and its ability to shape contemporary mathematical discourse. With an impact factor that reflects its high citation rate and academic influence, this journal has secured a prestigious Q1 ranking in the Mathematics (miscellaneous) category as of 2023. Encompassing a rich history from its inception in 1926 through various publication phases until 2024, it continues to attract and disseminate innovative research, serving as a vital resource for scholars, practitioners, and students alike. Although it does not currently offer open access options, the journal's commitment to advancing mathematical knowledge makes it an essential source for the latest developments in the discipline. For those engaged in mathematical research, insights from the JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES are invaluable in fostering a deeper understanding and sparking new ideas within the mathematical community.
Vietnam Journal of Mathematics
Unveiling New Horizons in Mathematical InquiryVietnam Journal of Mathematics, published by SPRINGER SINGAPORE PTE LTD, serves as a prominent platform for disseminating high-quality research in the field of mathematics. With an ISSN of 2305-221X and E-ISSN 2305-2228, this esteemed journal has established itself as a noteworthy contributor to the academic landscape since its inception in 2013, continuing its coverage until 2024. Enjoying a Q2 ranking in Mathematics (miscellaneous) for 2023, and holding a commendable Scopus rank of #126 out of 399 in General Mathematics, the journal stands at the intersection of innovation and scholarly excellence. Although still developing its open-access model, it provides a valuable resource for researchers, professionals, and students alike, who are keen to explore the vast universe of mathematical inquiry and application. As the journal progresses, it strives not only to publish original research but also to foster dialogue and collaboration within the global mathematics community.
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.
Research in the Mathematical Sciences
Unveiling Innovations in Mathematical SciencesResearch 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.
Bulletin Mathematique de la Societe des Sciences Mathematiques de Roumanie
Advancing Mathematical Frontiers in RomaniaThe 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.
Asian Journal of Mathematics
Shaping the Future of Mathematical InquiryAsian 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.
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.
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY
Spotlighting significant developments in mathematics.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 Mathematica Vietnamica
Cultivating a Global Dialogue on Mathematical ExcellenceActa 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.
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS
Fostering Collaboration in Diverse Mathematical FieldsROCKY 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.