MathXpertで数学のお勉強をしてみる。

Mathlibre（旧knoppix math）のサイトでMathXpertというソフトが紹介されていた。

http://www.knoppix-math.org/wiki/index.php?MathXpert

"MathXpert は計算練習ソフトであり，初等関数についての極限，導関数，不定積分や方程式，不等式の解を求める過程をユーザーがステップ毎の処理を選択，完成させるものです．特筆すべきは，構成された過程を評価する decision procedure，そして，問題の関数や式を自由に入力でき，結論までの過程を全自動生成する prover を内蔵する点で，それは MathXpert が一般の定理証明システムに欠ける数式処理システム並の「計算」と，一般の数式処理システムに欠ける定理証明システム並の「証明」を提供する希少なプログラムであるということです．"

というすごい紹介文が付いている。

ではダウンロードして遊んでみよう。いろんな項目があって何をするか悩む、、、

ではまずは皆やりたくない√の入った不等式の証明。

変形したい部分をマウスで囲んで、そこに対してどういう操作をするかを選ぶ。

最終的にこうやって証明できた。

グラフもかけたりする。思った以上によく出来てる学習ソフト。

微分方程式を図で解くのがあるんだけど、これはどうやんだろう（続く？）。