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