>>728 関連

http://d.hatena.ne.jp/jurupapa/20120425/1335364217
Maximaでつづる数学の旅 2012-04-25 リーマンの明示公式、大変でした、(その３) ゼータ関数の自明でない零点
抜粋
今回の明示公式の計算ではこの計算は100項しか計算していません。
そしてこの範囲(実際にはもっと広い範囲)ではリーマン予想が成立していることは確認されています。
つまり上記の直線上にこの範囲の非自明な零点はある訳です。
そして、その虚数部を求めるやり方は、各種文献にも載っていますし、MathematicaにはZetaZero[]という関数として実装されているそうです。

調べてみると数学者でゼータ関数や素数についての深い研究を行ったアンドリューオドリッコさんが、ご自身のホームページでゼータ関数の零点の表を公開しているのです (Andrew Odlyzko: Tables of zeros of the Riemann zeta function) 。
http://www.dtc.umn.edu/~odlyzko/zeta_tables/index.html

このページの最初のリンクにある、100,000個の零点の表の先頭に、こんな感じでMaximaのコードを数行付け加えて、少し細工をすれば、rho[i]の出来上がりです。