de Bruijn Newman上限 Julia代码遵循数学项目15最初的动机是探索朱莉娅在这方面的功效。 涵盖草案第1节至第8节的代码,RIEMANN XI函数热流演化的有效逼近及DE BRUIJN-NEWMAN常数的上界(PDF,commit 0a0f729),已经编写、测试并大部分记录在案。当前功能从子模块导出,DBNUpperBound。可吸入颗粒物15a.一揽子计划基本落后dbn上限原始计算工作正在进行的位置。 默认情况下使用任意精度算法。(Julia包装了GNU多精度算术库(GMP)和GNU MPFR库。参考). 安装 此版本需要Julia 1+。当然,需要Julia 0.6+的早期版本也可以从本回购中检出。(Julia 1.0.0是一个主要版本,与0.x.x版本不向后兼容。)要安装此版本及其依赖项,请执行以下操作: 注意,SpecialFunctions依赖项(对于gamma和Riemann的zeta)需要gcc和gcc-fortran。 julia>整件克隆(“https://github.com/WilCrofter/DBNUpperBound.jl.git网站") 要保持最新状态: julia>Pkg.update(“DBNUpperBound”) 所有单元测试均通过: $julia测试/runtests.jl[信息:测试PM15a[信息:测试简介.jl[信息:测试将基本解应用于热量方程。[信息:测试初步估计[信息:测试大x的估计值[信息:测试新上限[信息:测试PM15b[信息:测试估算总和[信息:DBNUpperBound通过测试。