Open2024/03/13にコメント追加10グレブナー基底math計算機代数Toru32023/12/27Singular groebner sba Toru32023/12/27に更新多項式の例 eco, noonなど https://msolve.lip6.fr/examples/index.html Toru32023/12/27に更新reimer5 https://macaulay2.com/doc/Macaulay2-1.20/share/doc/Macaulay2/ExampleSystems/html/_reimer5.html Toru32023/12/27https://github.com/mzinin/groebner_benchmarks Toru32023/12/27https://github.com/janverschelde/PHCpack/tree/master/src/Demo Toru32023/12/27https://github.com/lihaokun/StrongSfTriDec/tree/main/Examples 返信を追加Toru32023/12/27The Geobucket Data Structure for Polynomials https://core.ac.uk/download/pdf/82008137.pdf Toru32023/12/27Risa/Asirにおけるsignature based algorithmの実装について https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2185-13.pdf Toru32023/12/27A survey on signature-based Gröbner basis computations https://arxiv.org/abs/1404.1774 https://www.sciencedirect.com/science/article/pii/S0747717116300785 Toru32024/03/13https://github.com/cr-marcstevens/m4gb
Toru32023/12/27に更新多項式の例 eco, noonなど https://msolve.lip6.fr/examples/index.html Toru32023/12/27に更新reimer5 https://macaulay2.com/doc/Macaulay2-1.20/share/doc/Macaulay2/ExampleSystems/html/_reimer5.html Toru32023/12/27https://github.com/mzinin/groebner_benchmarks Toru32023/12/27https://github.com/janverschelde/PHCpack/tree/master/src/Demo Toru32023/12/27https://github.com/lihaokun/StrongSfTriDec/tree/main/Examples 返信を追加
Toru32023/12/27に更新reimer5 https://macaulay2.com/doc/Macaulay2-1.20/share/doc/Macaulay2/ExampleSystems/html/_reimer5.html
Toru32023/12/27The Geobucket Data Structure for Polynomials https://core.ac.uk/download/pdf/82008137.pdf
Toru32023/12/27Risa/Asirにおけるsignature based algorithmの実装について https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/2185-13.pdf
Toru32023/12/27A survey on signature-based Gröbner basis computations https://arxiv.org/abs/1404.1774 https://www.sciencedirect.com/science/article/pii/S0747717116300785
