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

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

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

2次方程式のべき根による解法

Optimistic Mathematics のサイトでも2次方程式の解法についてここと同様のこと書いているので、同じ内容をこちらにも書いておきます。 2次方程式のべき根による解法 を体とします。 、 を変数とし、 の元を係数とする多項式全体の集合を とおき、上の多項式…