MathXpert

MathXpert †

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

インストール例 †

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

• 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」のツリーが出来ます）．

利用例 †

リンク †

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

最新の20件