很抱歉，當前未能查詢到中科院具體數據，不過我們整理了該期刊的其他相關信息，供您參考。
其他影響力
影響因子：《Formalized Mathematics》雜志的影響因子為1，這反映了該雜志在領域的學術影響力和認可度。
JCR分區中屬于：Q1
按JIF指標學科分區學科：MATHEMATICS，收錄子集：ESCI，分區：Q1，排名：117 / 489 ，按JCI指標學科分區學科：MATHEMATICS，收錄子集：ESCI，分區：Q3，排名：249 / 489
Gold OA文章占比：100.00%，則進一步揭示了該雜志在學術成果傳播與共享方面的積極態度。
