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

SCIMAGO Journal Rank-
Journal Impact Factor1.00
Journal Impact Factor (5 years)0.50
H-Index-
Journal IF Without Self1.00
Eigen Factor0.00
Normal Eigen Factor0.01
Influence0.06
Immediacy Index0.40
Cited Half Life4.60
Citing Half Life8.90
JCI0.57
Total Documents-
WOS Total Citations134
SCIMAGO Total Citations-
SCIMAGO SELF Citations-
Scopus Journal Rank0.11
Cites / Document (2 Years)-
Cites / Document (3 Years)-
Cites / Document (4 Years)-

Metrics History

Rank 2024

Scopus

Applied Mathematics in Mathematics
Rank #324/407
Percentile 20.39
Quartile Q4
Computational Mathematics in Mathematics
Rank #93/114
Percentile 18.42
Quartile Q4

IF (Web Of Science)

MATHEMATICS
Rank 117/489
Percentile 76.20
Quartile Q1

JCI (Web Of Science)

MATHEMATICS
Rank 249/489
Percentile 49.08
Quartile Q3

Quartile History

Similar Journals

PROCEEDINGS OF THE INDIAN ACADEMY OF SCIENCES-MATHEMATICAL SCIENCES

Elevating Mathematical Insights for Science and Technology
Publisher: SPRINGER INDIAISSN: 0253-4142Frequency: 1 issue/year

PROCEEDINGS 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.

COLLOQUIUM MATHEMATICUM

Elevating mathematical discourse from Warsaw to the world.
Publisher: ARS POLONA-RUCHISSN: 0010-1354Frequency: 8 issues/year

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.

Vietnam Journal of Mathematics

Pioneering Research in the Heart of Mathematics
Publisher: SPRINGER SINGAPORE PTE LTDISSN: 2305-221XFrequency: 4 issues/year

Vietnam 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.

Korean Journal of Mathematics

Pioneering Research for Tomorrow's Mathematicians.
Publisher: KANGWON-KYUNGKI MATHEMATICAL SOCISSN: 1976-8605Frequency: 4 issues/year

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.

Journal of Mathematics

Fostering collaboration in the world of mathematics.
Publisher: HINDAWI LTDISSN: 2314-4629Frequency: 1 issue/year

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.

Missouri Journal of Mathematical Sciences

Elevating Mathematical Insights for Tomorrow's Challenges
Publisher: CENTRAL MISSOURI STATE UNIV, DEPT MATHEMATICS & COMPUTER SCIENCEISSN: 0899-6180Frequency: 2 issues/year

The 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.

Boletim Sociedade Paranaense de Matematica

Connecting Minds Through Mathematical Excellence
Publisher: SOC PARANAENSE MATEMATICAISSN: 0037-8712Frequency: 2 issues/year

Boletim 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.

Bulletin Mathematique de la Societe des Sciences Mathematiques de Roumanie

Exploring the Depths of Theoretical and Applied Mathematics
Publisher: SOC MATEMATICE ROMANIAISSN: 1220-3874Frequency: 4 issues/year

The 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.

INTERNATIONAL JOURNAL OF MATHEMATICS AND MATHEMATICAL SCIENCES

Exploring the depths of mathematics and its applications.
Publisher: HINDAWI LTDISSN: 0161-1712Frequency: 1 issue/year

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.

Frontiers of Mathematics in China

Unlocking the Potential of Mathematics in China
Publisher: HIGHER EDUCATION PRESSISSN: 1673-3452Frequency: 4 issues/year

Frontiers of Mathematics in China is a notable journal dedicated to advancing the field of mathematics, published by Higher Education Press. With an ISSN of 1673-3452 and an E-ISSN of 1673-3576, this journal provides a platform for high-quality research articles, reviews, and critical insights in various mathematical disciplines. Although the journal's coverage in Scopus has been discontinued since 2022, it continues to make significant contributions as reflected in its current Scopus ranking, placing it at Rank #33/74 with a 56th percentile in the 'Mathematics (Miscellaneous)' category. As a fully open-access journal, Frontiers of Mathematics in China ensures that all content is accessible to researchers, professionals, and students worldwide, fostering collaboration and the dissemination of knowledge in a global context. Its commitment to promoting mathematics research makes it an essential resource for anyone engaged in this dynamic field.