💡
原文英文,约500词,阅读约需2分钟。
📝
内容提要
蒂莫西·特拉吉安、安德鲁·杨和我共同上传了论文《新指数对、零密度估计及零加能估计:系统方法》,启动了建立分析数论指数的数据库(ANTEDB)项目。我们收集了最新的指数结果,获得了四个新指数对、多个新零密度估计以及新的黎曼ζ函数零点的加能估计。希望未来能有更多贡献,扩展数据库。
🎯
关键要点
- 蒂莫西·特拉吉安、安德鲁·杨和我上传了论文《新指数对、零密度估计及零加能估计:系统方法》。
- 该论文启动了分析数论指数数据库(ANTEDB)项目,旨在收集经典分析数论中各种指数的文献及其关系。
- 数据库ANTDB将收集最新的指数结果和关系,包括黎曼ζ函数的增长指数、指数对和零密度指数等。
- 这些指数与分析数论中的多个主题相关,例如林德洛夫假设。
- 信息以LaTeX蓝图和Python代码库的形式收集,未来可能会在Lean形式化中整合。
- 通过收集文献中的已知界限和抽象出各种关系,我们能够进行计算机辅助搜索,改进这些指数的状态。
- 我们获得了四个新指数对、多个新零密度估计和新的黎曼ζ函数零点的加能估计。
- 希望未来ANTDB能收到更多贡献,扩展到其他类型的指数,并更新数据库。
➡️