Mathematicaによる記号計算

質問

Mathematicaでは、数学で習うような数式の解析解を記号を使った解の式として出力する機能がありますが、これは既知の解法や数式の変換手法などの組み合わせのみで作られているのでしょうか？
また、Mathematicaでは解析解を出せない変微分方程式などがあったら教えていただきたいです。

回答No.1

kiyomushi · ベストアンサー

既知の解法でないとすると、未知の解法で解いていることになります。

Mathematica といえども、発見的に(未知の)解法を編み出すことはしていないと思いますので、おっしゃるように変形と公式データベースとのパターン・マッチングで解いているのではないでしょうか。

なお、ごく稀にですが、バグのために間違った結果を出すことがありますので、過信は禁物です。

お礼

ご回答ありがとうございます。
なるほど、結構バグがあったりもするんですね。当然といえば当然かもしれませんが・・