期刊簡介

形式化數學(Formalized Mathematics)是一本由Sciendo出版的一本MATHEMATICS學術刊物，主要報道MATHEMATICS相關領域研究成果與實踐。本刊已入選來源期刊，2021-2022年最新版WOS分區等級：Q1，2023年發布的影響因子為1，本刊為開放獲取期刊。

《形式化數學》是一本專注于數學形式化領域的學術期刊，它發表與計算機輔助數學證明相關的研究。該雜志的內容涉及使用形式化語言和工具來表達、驗證和探索數學理論。《形式化數學》為數學家、邏輯學家、計算機科學家以及對數學形式化感興趣的研究人員提供了一個交流最新研究成果的平臺。

該情況的讀者群體主要包括： 數學邏輯和形式化方法的研究者、在自動推理、定理證明器開發和形式化方法應用領域工作的專業人士、高等教育機構中教授和研究數學形式化的教師和學者、研究生和高級本科生，他們在數學、邏輯學和計算機科學的交叉領域進行研究和學習。該雜志通過發表高質量的研究文章，促進了數學形式化領域的學術交流和技術發展，對推動數學知識的精確性和可靠性具有重要意義。