zbMATH中的参考文献（参考文献505篇文章,4标准条款)

1. Coghetto，Roland:实射影平面上的Pappus六边形定理（2021）
2. 邓恩，先生；韦尔斯，J.B。；Kamareddine，Fairouz:用非集结构对象生成定制集理论（2021）
3. 藤原浩史；阿达奇，龙田；Yamamoto，Hiroaki:装箱问题的NextFit算法（2021）
4. Grabowski，Adam:一些广义粗糙近似的自动比较研究（2021）
5. 科赫，塞巴斯蒂安：杂图预赛。一（2021年）
6. 科哈塞，迈克尔；拉贝，弗洛里安：出口主要证据助理图书馆的经验（2021年）
7. 科尼奥维茨，阿图尔；苏罗维克，达里乌兹：初等数论问题。二（2021年）
8. Maletzky，Alexander:基于签名的Gröbner基算法的通用和可执行形式化（2021）
9. Mitsuishi，Takashi:由三角形函数和分段线性函数组成的隶属函数的一些性质（2021）
10. 中尾草，和须贺；Futa，Yuichi:反函数定理。一（2021年）
11. 中尾草，和须贺；冈崎，广裕；Shidama，Yasunari:实向量空间及相关概念（2021）
12. 普罗罗科维奇，Krsto；旺德，迈克尔；施密杜伯，Jürgen:用变压器改进有状态前提选择（2021）
13. 拉贝，弗洛里安：一种类型依赖相等的语言（2021）
14. 罗斯冈，科林；科尼奥维茨，阿图尔；拉贝，弗洛里安：米扎尔数学图书馆的新出口（2021）
15. 萨维基，达米安；Grabowski，Adam:关于弱结合格和近格（2021）
16. 施瓦茨韦勒，克里斯托夫：分裂的领域（2021年）
17. 施瓦茨韦勒，克里斯托夫；Rowinska Schwarzweller，Agnieska:代数扩张（2021）
18. 西格，威尔弗里德；Derakhshan，Farzaneh:以人为中心的自动证据搜索（2021）
19. 苏达，马丁：吸血鬼有大脑是一个很好的ITP锤子（2021）
20. 王庆祥；Kaliszyk，Cezary:JEFL:形式证明库的联合嵌入（2021）