計算機代数アプリケーションライブラリとしてのPARIとフロントエンドのGPの組み合わせ整数論関係の計算に便利WebAssembly経由でブラウザからも触れる出先でちょっと楕円曲線の位数を知りたくなったときなんかに便利

[PARI/GP]等のソフトウェアを幅広く統合してできた代数計算ソフトウェア内部的にはPythonなので大体のことはできる代数処理は大体できるので, 複雑な式変形のサポート役にもなる難点として, 重いことと導入が比較的難しいことが挙げられる「dockerイメージはあるのでそれなら簡単」で通じるぐらいのITスキルがあればそこまでではない

定理証明支援ツールhttps://coq.inria.fr/a-short-introduction-to-coq日本語資料https://www.iijlab.net/activities/programming-coq/https://www.math.nagoya-u.ac.jp/~garrigue/lecture/2013_SS/coq8.pdf