エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

リーマン予想

-2, -4, -6, \cdots 以外のリーマンのゼータ関数の零点 s の実部は \frac{1}{2} である(\Re s = \frac{1}{2})」というのがリーマン予想です。