3
グレブナー基底と多項式システムソリューションのベンチマーク
ブライアンボーチャーズは、最近の質問である7つの非線形代数方程式を記号的に解くシステムで、Matlab / Mupadが処理できない多項式システムをMapleで解くことができることを実験的に確認しました。Mapleにはグレブナー基底と関連アルゴリズム（ここで使用しているものだと思います）の高品質な実装があることを、現場で働いている人々から以前に聞いたことがあります。 「Matlabはこの種の問題で遅いのでMapleに切り替えてください」と提案したくなりますが、このステートメントを裏付けるデータが欲しいです。 さまざまなコンピューター代数システムにおけるグレブナー基底の実装と多項式システムソリューションの速度と有効性を比較する一連のベンチマーク結果はありますか？（Maple、Mathematica、Matlabの象徴的なツールボックスなど）。