《Formalized Mathematics》國(guó)際標(biāo)準(zhǔn)刊號(hào)?ISSN：1898-9934。
出版語(yǔ)言：English
國(guó)際簡(jiǎn)稱：FORMALIZ MATH
研究方向：MATHEMATICS
期刊定位與內(nèi)容：
形式化數(shù)學(xué)(Formalized Mathematics)是一本由Sciendo出版的學(xué)術(shù)刊物，主要報(bào)道MATHEMATICS相關(guān)領(lǐng)域研究成果與實(shí)踐。本刊已入選來(lái)源期刊，
《形式化數(shù)學(xué)》是一本專注于數(shù)學(xué)形式化領(lǐng)域的學(xué)術(shù)期刊，它發(fā)表與計(jì)算機(jī)輔助數(shù)學(xué)證明相關(guān)的研究。該雜志的內(nèi)容涉及使用形式化語(yǔ)言和工具來(lái)表達(dá)、驗(yàn)證和探索數(shù)學(xué)理論?！缎问交瘮?shù)學(xué)》為數(shù)學(xué)家、邏輯學(xué)家、計(jì)算機(jī)科學(xué)家以及對(duì)數(shù)學(xué)形式化感興趣的研究人員提供了一個(gè)交流最新研究成果的平臺(tái)。
該情況的讀者群體主要包括： 數(shù)學(xué)邏輯和形式化方法的研究者、在自動(dòng)推理、定理證明器開發(fā)和形式化方法應(yīng)用領(lǐng)域工作的專業(yè)人士、高等教育機(jī)構(gòu)中教授和研究數(shù)學(xué)形式化的教師和學(xué)者、研究生和高級(jí)本科生，他們?cè)跀?shù)學(xué)、邏輯學(xué)和計(jì)算機(jī)科學(xué)的交叉領(lǐng)域進(jìn)行研究和學(xué)習(xí)。該雜志通過(guò)發(fā)表高質(zhì)量的研究文章，促進(jìn)了數(shù)學(xué)形式化領(lǐng)域的學(xué)術(shù)交流和技術(shù)發(fā)展，對(duì)推動(dòng)數(shù)學(xué)知識(shí)的精確性和可靠性具有重要意義。
發(fā)文量：
近年來(lái)，該期刊的年發(fā)文量約為21篇。
學(xué)術(shù)影響力：
2021-2022年最新版WOS分區(qū)等級(jí)：Q1，2023年發(fā)布的影響因子為1，本刊為開放獲取期刊。
投稿咨詢聲明：本信息依據(jù)互聯(lián)網(wǎng)公開資料整理，若存在錯(cuò)誤，請(qǐng)及時(shí)聯(lián)系我們及時(shí)更正。
