qepmax

　maximaをAndroidに移植された本田康晃（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）を書きました．