形式化数学(Formalized Mathematics)是一本由Sciendo出版的一本MATHEMATICS学术刊物，主要报道MATHEMATICS相关领域研究成果与实践。本刊已入选来源期刊，2021-2022年最新版WOS分区等级：Q1，2023年发布的影响因子为1，本刊为开放获取期刊。
《形式化数学》是一本专注于数学形式化领域的学术期刊，它发表与计算机辅助数学证明相关的研究。该杂志的内容涉及使用形式化语言和工具来表达、验证和探索数学理论。《形式化数学》为数学家、逻辑学家、计算机科学家以及对数学形式化感兴趣的研究人员提供了一个交流最新研究成果的平台。
该情况的读者群体主要包括： 数学逻辑和形式化方法的研究者、在自动推理、定理证明器开发和形式化方法应用领域工作的专业人士、高等教育机构中教授和研究数学形式化的教师和学者、研究生和高级本科生，他们在数学、逻辑学和计算机科学的交叉领域进行研究和学习。该杂志通过发表高质量的研究文章，促进了数学形式化领域的学术交流和技术发展，对推动数学知识的精确性和可靠性具有重要意义。
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：MATHEMATICS | ESCI | Q1 | 117 / 489 |
76.2%
|
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：MATHEMATICS | ESCI | Q3 | 249 / 489 |
49.18%
|
汤森路透每年出版一本《期刊引用报告》（Journal Citation Reports，简称JCR）。JCR对86000多种SCI期刊的影响因子（Impact Factor）等指数加以统计。JCR将收录期刊分为176个不同学科类别在JCR的Journal Ranking中，主要参考当年IF，最终每个分区的期刊数量是均分的。
暂无Cite Score数据
若用户需要出版服务，请联系出版商。