Formalized Mathematics
收录 573 篇论文，累计被引 1,990 次，出版年份 2001–2026。
- 收录篇数
- 573
- 总被引
- 1,990
- 篇均被引
- 3.5
- 单篇最高被引
- 103
- 年份区间
- 2001–2026
- 近五年篇数
- 120
逐年收录分布
近 22 个有收录的年份（最多 40 个）。悬停查看当年篇数。
查看数据表
| 年份 | 篇数 | 占比 |
|---|---|---|
| 2026 | 2 | 0.3% |
| 2025 | 20 | 3.5% |
| 2024 | 24 | 4.2% |
| 2023 | 27 | 4.7% |
| 2022 | 23 | 4.0% |
| 2021 | 24 | 4.2% |
| 2020 | 25 | 4.4% |
| 2019 | 28 | 4.9% |
| 2018 | 24 | 4.2% |
| 2017 | 29 | 5.1% |
| 2016 | 26 | 4.5% |
| 2015 | 31 | 5.4% |
| 2014 | 31 | 5.4% |
| 2013 | 29 | 5.1% |
| 2012 | 39 | 6.8% |
| 2011 | 32 | 5.6% |
| 2010 | 25 | 4.4% |
| 2009 | 31 | 5.4% |
| 2008 | 48 | 8.4% |
| 2007 | 28 | 4.9% |
| 2006 | 26 | 4.5% |
| 2001 | 1 | 0.2% |
代表作
- 0
- 1
- 2
- 3
- 4
- 5
想知道这个刊近年在哪些主题上最活跃？把期刊名当作提问对象，让综述引擎挑出带引用的段落。
用这个主题提问