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

QE による検証

Mathematica の QE のデフォルトの議論領域は Reduce[Exists[x, a*x^2 == 1]] に対する出力 からも判るように複素数体であり,前回公開した Mathematica での実装の目的の 1 つは,この QE による結果の検証でした.Mathematica で前回の各関数の定義コード…