「数学」をプログラミングするには

[296 デフォルトの名無しさん 2024/04/15(月) 08:15:15.77 ID:SAfAFkQa]

>>294
同値判定(ついでに大小判定)できるんだから「存在だけ証明」じゃないだろ。
確かに四則演算は有理体で閉じていないけど、拡大体を考えれば問題ない。