《Formalized Mathematics》出版语言为English，年发文量21。预计审稿周期约 10 Weeks ，近三年曾被列入预警期刊名单。
《Formalized Mathematics》由Sciendo出版社出版，是国际权威期刊。该刊始终致力于发表原创性、前瞻性研究成果，尤其关注理论、政策与实践。该刊被SCIE与ESCI数据库收录，在JCR学科，按JIF指标学科分区学科“MATHEMATICS”中位于Q1区；按JCI指标学科分区学科“MATHEMATICS”中位于Q3区；显示出在领域的突出影响力。
作为一本开放获取期刊，《Formalized Mathematics》2023年发文量在21篇，研究类论文占比为100.00%。期刊最新影响因子为1，学术影响力持续稳健。该刊面向全球研究者，为探讨领域提供了高水平的学术交流平台。
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| MATHEMATICS | ESCI | Q1 | 117 / 489 |
76.2% |
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| MATHEMATICS | ESCI | Q3 | 249 / 489 |
49.18% |
| 年份 | 影响因子 | 年发文量 | 引文指标 | 自引率 | CiteScore |
|---|---|---|---|---|---|
| 2025 | - | - | - | - | - |
| 2024 | - | - | - | - | - |
| 2023 | 1 - | 21 - | - | 80 - | - |
| 2022 | 0.3 - | 22 - | - | 0 - | - |
| 2021 | 0 - | 14 - | - | 0 - | - |
| 2020 | 0 - | 19 - | - | 0 - | - |
