2011-06-02から1日間の記事一覧

QE で超越

これまで幾度か述べたように現在の QE で扱える関数は原理上,代数関数(多項式を用いて定義できるもの)なのですが,驚くべきことに Mathematica は Reduce[ Exists[x,Sin[2*x]-Sin[x]==a],Reals ] Reduce[ ForAll[x,Exp[2*x]-Exp[x]>=a],Reals ] などの処…