首页 › 期刊 › 数学 › Formalized Mathematics
Formalized Mathematics
出版商：De Gruyter Poland Sp. z o.o. · ISSN：1426-2630, 1898-9934 · 国家/地区：PL · 类型：journal · OA 开放获取
研究主题：Logic, programming, and type systems · Advanced Algebra and Logic · Mathematics and Applications · Security and Verification in Computing · History and Theory of Mathematics
数据覆盖：10 个公开学术数据源交叉核验（crossref、fqb、jcr、openalex、scimago、submission、wikidata、xr、cwts、jufo）。
数据来源与实体核验
核心指标
- 影响因子(JCR 2025):0.700
- JCR 分区:Q3(MATHEMATICS)
- 中科院分区(2025):数学 2区，大类排名 77/815;小类:MATHEMATICS 数学 2区，排名 45/487
- 新锐分区(2026):数学 2区
- SJR:0.112(Q4)，2019 年，Poland
- CWTS 2019:SNIP 0.174 · IPP 0.115 · 自引率 0.0%
- JUFO 出版渠道等级:芬兰 1
- h-index:15
- i10 指数:42
- 近两年篇均被引:0.63
- 载文量 577 · 总被引 2012
- Crossref DOI 总量:576，近期 46
逐年趋势
- 近年影响因子:2022 0.3 → 2023 1 → 2024 1
- 近年 SJR:2015 0.178(Q4) → 2016 0.203(Q4) → 2017 0.119(Q4) → 2018 0.111(Q4) → 2019 0.112(Q4)
投稿参考
- 提供 LaTeX 投稿模板(dgruyter.sty)
同学科期刊推荐
- Acta Numerica — IF 12.8 · JCR Q1 · 中科院1区(Top)
- Annual Review of Statistics and Its Application — IF 9.8 · JCR Q1 · 中科院1区(Top)
- SIAM Review — IF 8.2 · JCR Q1 · 中科院1区(Top)
- Statistics Surveys — IF 8.2 · JCR Q1 · 中科院2区
- Acta Mathematica — IF 7.3 · JCR Q1 · 中科院1区(Top)
- Statistical Science — IF 6.6 · JCR Q1 · 中科院1区(Top)
- Bulletin of Mathematical Sciences — IF 6.5 · JCR Q1 · 中科院2区
- Wiley Interdisciplinary Reviews Computational Statistics — IF 6.1 · JCR Q1 · 中科院2区
常见问题
《Formalized Mathematics》的影响因子是多少?
根据 JCR 2025 年数据,《Formalized Mathematics》的最新影响因子(IF)为 0.700。
《Formalized Mathematics》是几区期刊?
《Formalized Mathematics》中科院分区(2025年版)为数学2区,JCR 分区为 Q3。
《Formalized Mathematics》是开放获取(OA)期刊吗?
是,《Formalized Mathematics》是开放获取(Open Access)期刊。