SageMath

内部的にはPythonなので大体のことはできる

代数処理は大体できるので, 複雑な式変形のサポート役にもなる

難点として, 重いことと導入が比較的難しいことが挙げられる

「dockerイメージはあるのでそれなら簡単」で通じるぐらいのITスキルがあればそこまでではない

PARI/GPでは繰り返し処理や条件分岐をコーディングすることが難しいため, 探索コード等ではこれを利用することが多い