読者です 読者をやめる 読者になる 読者になる

qepmax

 maximaAndroidに移植された本田康晃(https://sites.google.com/site/maximaonandroid/)さんが,maximaからQEPCAD Bへのインターフェイスqepmax(https://github.com/YasuakiHonda/qepmax)を公開しておられます.このqepmaxは,オリジナルのQEPCAD Bの拡張された量化子,タルスキー論理式をほぼサポートし,prenexではない入力への対応,また,分母≠0の付帯といった独自の機能も備え,当然,maximaのセッション内で定義した関数や変数も利用できます.私も有理関数の処理で少しお手伝いをさせて頂いた経緯もあり,紹介記事(http://www.knoppix-math.org/wiki/index.php?QEPCAD)を書きました.