來源：學術之家整理 2025-03-18 15:44:12
《Formalized Mathematics》是一本English學術期刊，由Sciendo出版商出版ISSN：1898-9934。
旨在及時、準確、全面地報道國內外在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。該刊已被SCIE、ESCI數據庫收錄，2023年影響因子為1。
| 按JIF指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：MATHEMATICS | ESCI | Q1 | 117 / 489 |
76.2%
|
| 按JCI指標學科分區 | 收錄子集 | 分區 | 排名 | 百分位 |
| 學科：MATHEMATICS | ESCI | Q3 | 249 / 489 |
49.18%
|
JCR分區：JCR（Journal Citation Reports）由科睿唯安公司（前身為湯森路透）開發。JCR沒有設置大類,只將期刊分為176個具體學科，也就是中科院分區中的小類學科?；诓煌瑢W科的當年影響因子高低進行排序，將期刊的數量均勻分為四個部分，Q1區代表學科分類中影響因子排名前25%的期刊，以此類推，Q2區為前25%-50%期刊，Q3區為前50%-75%期刊，Q4區為75%以后期刊。
聲明：該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們，我們將及時更正。
