MathXpert
の編集
http://list.mathlibre.org/wiki/?MathXpert
[
トップ
] [
編集
|
差分
|
バックアップ
|
添付
|
リロード
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
]
-- 雛形とするページ --
(no template pages)
*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
テキスト整形のルールを表示する
添付ファイル:
20131017.png
1505件
[
詳細
]
2013101702.png
1609件
[
詳細
]