Maxima で綴る数学の旅

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