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
終了行:
*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
ページ名: