很抱歉，當(dāng)前未能查詢到中科院具體數(shù)據(jù)，不過(guò)我們整理了該期刊的其他相關(guān)信息，供您參考。

其他影響力

影響因子：《Formalized Mathematics》雜志的影響因子為1，這反映了該雜志在領(lǐng)域的學(xué)術(shù)影響力和認(rèn)可度。

JCR分區(qū)中屬于：Q1

按JIF指標(biāo)學(xué)科分區(qū)學(xué)科：MATHEMATICS，收錄子集：ESCI，分區(qū)：Q1，排名：117 / 489 ，按JCI指標(biāo)學(xué)科分區(qū)學(xué)科：MATHEMATICS，收錄子集：ESCI，分區(qū)：Q3，排名：249 / 489

Gold OA文章占比：100.00%，則進(jìn)一步揭示了該雜志在學(xué)術(shù)成果傳播與共享方面的積極態(tài)度。