形式化數(shù)學(xué)(Formalized Mathematics)是一本由Sciendo出版的一本MATHEMATICS學(xué)術(shù)刊物，主要報道MATHEMATICS相關(guān)領(lǐng)域研究成果與實踐。本刊已入選來源期刊，2021-2022年最新版WOS分區(qū)等級：Q1，2023年發(fā)布的影響因子為1，本刊為開放獲取期刊。
《形式化數(shù)學(xué)》是一本專注于數(shù)學(xué)形式化領(lǐng)域的學(xué)術(shù)期刊，它發(fā)表與計算機輔助數(shù)學(xué)證明相關(guān)的研究。該雜志的內(nèi)容涉及使用形式化語言和工具來表達、驗證和探索數(shù)學(xué)理論。《形式化數(shù)學(xué)》為數(shù)學(xué)家、邏輯學(xué)家、計算機科學(xué)家以及對數(shù)學(xué)形式化感興趣的研究人員提供了一個交流最新研究成果的平臺。
該情況的讀者群體主要包括： 數(shù)學(xué)邏輯和形式化方法的研究者、在自動推理、定理證明器開發(fā)和形式化方法應(yīng)用領(lǐng)域工作的專業(yè)人士、高等教育機構(gòu)中教授和研究數(shù)學(xué)形式化的教師和學(xué)者、研究生和高級本科生，他們在數(shù)學(xué)、邏輯學(xué)和計算機科學(xué)的交叉領(lǐng)域進行研究和學(xué)習(xí)。該雜志通過發(fā)表高質(zhì)量的研究文章，促進了數(shù)學(xué)形式化領(lǐng)域的學(xué)術(shù)交流和技術(shù)發(fā)展，對推動數(shù)學(xué)知識的精確性和可靠性具有重要意義。
| 按JIF指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：MATHEMATICS | ESCI | Q1 | 117 / 489 |
76.2%
|
| 按JCI指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：MATHEMATICS | ESCI | Q3 | 249 / 489 |
49.18%
|
湯森路透每年出版一本《期刊引用報告》（Journal Citation Reports，簡稱JCR）。JCR對86000多種SCI期刊的影響因子（Impact Factor）等指數(shù)加以統(tǒng)計。JCR將收錄期刊分為176個不同學(xué)科類別在JCR的Journal Ranking中，主要參考當(dāng)年IF，最終每個分區(qū)的期刊數(shù)量是均分的。
暫無Cite Score數(shù)據(jù)
若用戶需要出版服務(wù)，請聯(lián)系出版商。
