Maxima で綴る数学の旅

紙と鉛筆の代わりに、数式処理システムMaxima / Macsyma を使って、数学を楽しみましょう

2014-04-22から1日間の記事一覧

-数学- 量限定子除去の続き

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

-数学- 量限定子除去 : ちょっと変わった数式処理

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

This is a test.
天気