MathXpert

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

インストール例

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

において「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」のツリーが出来ます).

利用例

2013101702.png

20131017.png

リンク


添付ファイル: file20131017.png 1325件 [詳細] file2013101702.png 1410件 [詳細]

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2015-01-09 (金) 18:44:24 (2522d)