形式化數(shù)學（Formalized Mathematics）JCR分區(qū)位于Q1。審稿速度一般為 10 Weeks ，且近兩年沒有被列入國際預警名單，您可以放心投稿。如果您需要投稿指導，可在線咨詢我們的客服老師，我們將竭誠為您服務。

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

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