// この３次関数のグラフをもう少し研究してみます。 \( x \geq -\frac{5}{2} \) の時、関数 \( y=x^3 - 6\,x \) の最小値はいくつでしょうか。同様に\( x \geq -3 \) の時、最小値はどうなるでしょうか。前者を論理式で表すと、 $$ \forall x,\, x \geq -\f…

// 数式処理の専門家の人はよく知っているのが、そうでない人は全く知らない、そんな技術の一つが量限定子除去と呼ばれる技術です。英語ではQuantifier Elimination, 略してQ.E.とも言われます。 具体的には実数の世界に限定して、多項式を項とする、等号や…