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