期刊簡介
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ù)學》是一本專注于數(shù)學形式化領域的學術期刊，它發(fā)表與計算機輔助數(shù)學證明相關的研究。該雜志的內(nèi)容涉及使用形式化語言和工具來表達、驗證和探索數(shù)學理論。《形式化數(shù)學》為數(shù)學家、邏輯學家、計算機科學家以及對數(shù)學形式化感興趣的研究人員提供了一個交流最新研究成果的平臺。
該情況的讀者群體主要包括： 數(shù)學邏輯和形式化方法的研究者、在自動推理、定理證明器開發(fā)和形式化方法應用領域工作的專業(yè)人士、高等教育機構中教授和研究數(shù)學形式化的教師和學者、研究生和高級本科生，他們在數(shù)學、邏輯學和計算機科學的交叉領域進行研究和學習。該雜志通過發(fā)表高質(zhì)量的研究文章，促進了數(shù)學形式化領域的學術交流和技術發(fā)展，對推動數(shù)學知識的精確性和可靠性具有重要意義。
期刊點評
Formalized Mathematics由Sciendo出版商出版，收稿方向涵蓋MATHEMATICS全領域，平均審稿速度 10 Weeks ，影響因子指數(shù)1，該期刊近期沒有被列入國際期刊預警名單，廣大學者值得一試。
WOS分區(qū)（數(shù)據(jù)版本：2023-2024年最新版）
| 按JIF指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：MATHEMATICS | ESCI | Q1 | 117 / 489 |
76.2% |
| 按JCI指標學科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學科：MATHEMATICS | ESCI | Q3 | 249 / 489 |
49.18% |
名詞解釋：
WOS即Web of Science，是全球獲取學術信息的重要數(shù)據(jù)庫，Web of Science包括自然科學、社會科學、藝術與人文領域的信息，來自全世界近9,000種最負盛名的高影響力研究期刊及12,000多種學術會議多學科內(nèi)容。給期刊分區(qū)時會按照某一個學科領域劃分，根據(jù)這一學科所有按照影響因子數(shù)值降序排名，然后平均分成4等份，期刊影響因子值高的就會在高分區(qū)中，最后的劃分結果分別是Q1，Q2，Q3，Q4，Q1代表質(zhì)量最高。
其他數(shù)據(jù)
| 是否OA開放訪問： | h-index： | 年文章數(shù)： |
| 開放 | - | 21 |
| Gold OA文章占比： | 2021-2022最新影響因子（數(shù)據(jù)來源于搜索引擎）: | 開源占比（OA被引用占比）： |
| 100.00% | 1 | |
| 研究類文章占比：文章 ÷（文章 + 綜述） | 期刊收錄： | 中科院《國際期刊預警名單（試行）》名單： |
| 100.00% | SCIE | 否 |
歷年IF值(影響因子)：
歷年引文指標和發(fā)文量：
歷年自引數(shù)據(jù)：
更多問題
免責聲明
若用戶需要出版服務，請聯(lián)系出版商。