Mathematica の QE のデフォルトの議論領域は Reduce[Exists[x, a*x^2 == 1]] に対する出力 からも判るように複素数体であり,前回公開した Mathematica での実装の目的の 1 つは,この QE による結果の検証でした.Mathematica で前回の各関数の定義コード…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。