Zeroes of Riemann's zeta function on the critical line with 40000 decimal digits accuracy

The project aims at computing Riemann's zeroes with high accuracy through an analysis of large determinants using Matyasievich's Artless method. Location of Riemann's zeroes is the famous 8th Hilbert problem, and one of Clay's Institute millennium problems.本项目旨在借助马蒂亚谢维奇无技巧方法（Matyasievich's Artless method），通过分析大型行列式以高精度求解黎曼零点（Riemann's zeroes）。黎曼零点的定位问题是著名的第八希尔伯特问题，同时也是克莱数学研究所（Clay's Institute）千禧年难题之一。