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

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

代数方程式の代数的解法

今まで書いていた3次方程式の解法ですが、わかりにくいので書き直そうと思っています。