MathXpert の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• MathXpert へ行く。

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

*インストール例 [#z667ec04]

（問題の変更が出来ない）トライアル版の場合

- http://helpwithmath.com/download.php

において「Free trial version (limited functionality)」を選択，「Continue」をクリック，「Email address」を入力，32bit版をダウンロード，保存した後

 sudo dpkg --add-architecture i386
 sudo apt-get update
 sudo apt-get -y install wine-bin:i386
 wine /home/user/Downloads/setup.exe 

とすればインストーラが起動します（メニューにも「Wine」のツリーが出来ます）．

*利用例 [#aa6f3b15]

&ref(2013101702.png);

&ref(20131017.png);

*リンク [#m95d1f93]

- http://helpwithmath.com/index.php