MathXpertで数学のお勉強をしてみる。
Mathlibre(旧knoppix math)のサイトでMathXpertというソフトが紹介されていた。
http://www.knoppix-math.org/wiki/index.php?MathXpert
"MathXpert は計算練習ソフトであり,初等関数についての極限,導関数,不定積分や方程式,不等式の解を求める過程をユーザーがステップ毎の処理を選択,完成させるものです.特筆すべきは,構成された過程を評価する decision procedure,そして,問題の関数や式を自由に入力でき,結論までの過程を全自動生成する prover を内蔵する点で,それは MathXpert が一般の定理証明システムに欠ける数式処理システム並の「計算」と,一般の数式処理システムに欠ける定理証明システム並の「証明」を提供する希少なプログラムであるということです."
というすごい紹介文が付いている。
ではダウンロードして遊んでみよう。いろんな項目があって何をするか悩む、、、
ではまずは皆やりたくない√の入った不等式の証明。
変形したい部分をマウスで囲んで、そこに対してどういう操作をするかを選ぶ。
グラフもかけたりする。思った以上によく出来てる学習ソフト。
微分方程式を図で解くのがあるんだけど、これはどうやんだろう(続く?)。
« 人生ゲームオブザイヤーがNHKのニュースで取り上げられていた! | トップページ | littleBits x Korgのモジュールを組み合わせて遊べるシンセサイザー、超ほしい! »
「学問・資格」カテゴリの記事
- 高周波(RF・マイクロ波・ミリ波・5G)関連ニュース2021年2月16日 IEEE Microwave Magazineの特集はオールデジタルのRFID、Microwave JournalはEバンド ミリ波通信に衛星や気球を使う話、アメリカの半導体企業がバイデンに投資を迫る、(2021.02.17)
- カオスを生じる電気回路、Chua’s circuitをLTspiceで回路シミュレーションしてみる。(2021.02.19)
- Labyrinth Chaos(迷宮カオス)を生むThomas-Rössler方程式のパラメータbを色々変えて、Python+Scipyでルンゲクッタ8次のDOP853(Dormand&Prince)を使って計算してGIFアニメ(2021.02.16)
- フィッツヒュー・南雲 (FitzHugh-Nagumo) 方程式をPython+Scipyでルンゲクッタ8次のDOP853(Dormand Prince)で計算。(2021.02.23)
- 「水晶振動子の等価回路計算」をカシオの高精度計算サイトkeisan.casio.jpの自作式としてUP! インピーダンスの大きさと位相がグラフ化できる。(2021.02.12)
« 人生ゲームオブザイヤーがNHKのニュースで取り上げられていた! | トップページ | littleBits x Korgのモジュールを組み合わせて遊べるシンセサイザー、超ほしい! »
コメント