バージョン12は，新しいクラスの方程式系および不等式系を解くための機能を提供している．ここではそのようなクラスのいくつかを提示する．
無理数係数を持つディオファントス(Diophantine)方程式．
超越関数を含む不等式．
記号的導関数を含む系．
解を可視化する．
