- 數(shù)據(jù)庫收錄SCIE
- 年發(fā)文量21
Formalized Mathematics
期刊中文名：形式化數(shù)學(xué)ISSN：1898-9934
該雜志國際簡稱：FORMALIZ MATH，是由出版商Sciendo出版的一本致力于發(fā)布--研究新成果的的專業(yè)學(xué)術(shù)期刊。主要發(fā)表刊登有創(chuàng)見的學(xué)術(shù)論文文章、行業(yè)最新科研成果，扼要報(bào)道階段性研究成果和重要研究工作的最新進(jìn)展，選載對學(xué)科發(fā)展起指導(dǎo)作用的綜述與專論，促進(jìn)學(xué)術(shù)發(fā)展，為廣大讀者服務(wù)。該刊是一本國際優(yōu)秀雜志，在國際上有很高的學(xué)術(shù)影響力。
雜志介紹
Formalized Mathematics雜志介紹
《Formalized Mathematics》是一本以English為主的開放獲取國際優(yōu)秀期刊，中文名稱形式化數(shù)學(xué)，本刊主要出版、報(bào)道領(lǐng)域的研究動態(tài)以及在該領(lǐng)域取得的各方面的經(jīng)驗(yàn)和科研成果，介紹該領(lǐng)域有關(guān)本專業(yè)的最新進(jìn)展，探討行業(yè)發(fā)展的思路和方法，以促進(jìn)學(xué)術(shù)信息交流，提高行業(yè)發(fā)展。該刊已被國際權(quán)威數(shù)據(jù)庫SCIE收錄，為該領(lǐng)域相關(guān)學(xué)科的發(fā)展起到了良好的推動作用，也得到了本專業(yè)人員的廣泛認(rèn)可。該刊最新影響因子為1，
英文介紹
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.
JCR分區(qū)（2023-2024年最新版）
Formalized Mathematics雜志 JCR分區(qū)信息
| 按JIF指標(biāo)學(xué)科分區(qū) |
學(xué)科：MATHEMATICS
收錄子集：ESCI
分區(qū)：Q1
排名：117 / 489
百分位：
76.2% |
| 按JCI指標(biāo)學(xué)科分區(qū) |
學(xué)科：MATHEMATICS
收錄子集：ESCI
分區(qū)：Q3
排名：249 / 489
百分位：
49.18% |
JCR分區(qū)：JCR分區(qū)來自科睿唯安公司,JCR是一個(gè)獨(dú)特的多學(xué)科期刊評價(jià)工具，為唯一提供基于引文數(shù)據(jù)的統(tǒng)計(jì)信息的期刊評價(jià)資源。每年發(fā)布的JCR分區(qū)，設(shè)置了254個(gè)具體學(xué)科。JCR分區(qū)根據(jù)每個(gè)學(xué)科分類按照期刊當(dāng)年的影響因子高低將期刊平均分為4個(gè)區(qū)，分別為Q1、Q2、Q3和Q4，各占25%。JCR分區(qū)中期刊的數(shù)量是均勻分為四個(gè)部分的。
CiteScore 評價(jià)數(shù)據(jù)（2024年最新版）
Formalized Mathematics雜志CiteScore 評價(jià)數(shù)據(jù)
歷年影響因子和期刊自引率
投稿經(jīng)驗(yàn)
Formalized Mathematics雜志投稿經(jīng)驗(yàn)
該雜志是一本國際優(yōu)秀雜志，在國際上有較高的學(xué)術(shù)影響力，行業(yè)關(guān)注度很高，已被國際權(quán)威數(shù)據(jù)庫SCIE收錄，該雜志在綜合專業(yè)領(lǐng)域?qū)I(yè)度認(rèn)可很高，對稿件內(nèi)容的創(chuàng)新性和學(xué)術(shù)性要求很高，作為一本國際優(yōu)秀雜志，一般投稿過審時(shí)間都較長，投稿過審時(shí)間平均 10 Weeks ，如果想投稿該刊要做好時(shí)間安排。版面費(fèi)不祥。該雜志近兩年未被列入預(yù)警名單，建議您投稿。如您想了解更多投稿政策及投稿方案，請咨詢客服。
免責(zé)聲明
若用戶需要出版服務(wù)，請聯(lián)系出版商。