Journal Title：Formalized Mathematics

Formal Mathematics is an academic journal dedicated to the field of mathematical formalization, publishing research related to computer-aided mathematical proofs. The content of this magazine involves the use of formal language and tools to express, validate, and explore mathematical theories. Formal Mathematics provides a platform for mathematicians, logicians, computer scientists, and researchers interested in mathematical formalization to exchange the latest research findings.

The readership of 'Formal Mathematics' mainly includes researchers in mathematical logic and formal methods, professionals working in the fields of automatic reasoning, theorem prover development, and formal method applications, teachers and scholars in higher education institutions who teach and study mathematical formalization, graduate students, and advanced undergraduate students who conduct research and learning in the intersection of mathematics, logic, and computer science. This magazine promotes academic exchange and technological development in the field of mathematical formalization by publishing high-quality research articles, which is of great significance in promoting the accuracy and reliability of mathematical knowledge.

《形式化數(shù)學(xué)》是一本專注于數(shù)學(xué)形式化領(lǐng)域的學(xué)術(shù)期刊，它發(fā)表與計算機輔助數(shù)學(xué)證明相關(guān)的研究。該雜志的內(nèi)容涉及使用形式化語言和工具來表達(dá)、驗證和探索數(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)域進(jìn)行研究和學(xué)習(xí)。該雜志通過發(fā)表高質(zhì)量的研究文章，促進(jìn)了數(shù)學(xué)形式化領(lǐng)域的學(xué)術(shù)交流和技術(shù)發(fā)展，對推動數(shù)學(xué)知識的精確性和可靠性具有重要意義。

Formalized Mathematics由Sciendo出版商出版，收稿方向涵蓋MATHEMATICS全領(lǐng)域，平均審稿速度 10 Weeks ，影響因子指數(shù)1，該期刊近期沒有被列入國際期刊預(yù)警名單，廣大學(xué)者值得一試。