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

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

2020-04-19から1日間の記事一覧

群論の計算(16)

複素数(3) ここではリウヴィルの定理を使った代数学の基本定理について少し触れておきますがリウヴィルの定理を証明するのはたいへんなのでそこは省略します。 は、実数 が存在して 任意の複素数 に対して となるとき、 は有界であると言います。 を の開集…