《Formalized Mathematics》出版語言：English，具體論文語言需根據相關征稿要求而定，可聯系雜志社或在線客服。

該雜志是一本由Sciendo出版的國際知名學術期刊，出版語言：English，專注于MATHEMATICS領域，重點介紹MATHEMATICS的最新關鍵主題。每篇文章都是對該主題的最新、完整的總結，方便尚未深入研究的人閱讀。

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

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

此外，關于《Formalized Mathematics》的數據統計如下：

（1）JCR分區信息：按JIF指標學科分區：Q1，按JCI指標學科分區：Q3

聲明：本信息依據互聯網公開資料整理，若存在錯誤，請及時聯系我們及時更正。