Gröbner basis project
Codebase for research into Gröbner basis computation
Bibliography
[1]

R. Bagnara, P. M. Hill, and E. Zaffanella. The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Science of Computer Programming, 72(1–2):3–21, 2008.

[2]

Anna M. Bigatti. Computation of Hilbert-Poincaré Series. Journal of Pure and Applied Algebra, 119(3):237–253, 1997.

[3]

Massimo Caboara and John Perry. Reducing the size and number of linear programs in a dynamic Gröbner basis algorithm. Applicable Algebra in Engineering, Communication and Computing, 25(1):99–117, 2014. Preprint available at arxiv.org/abs/1209.2379.

[4]

Massimo Caboara. A Dynamic Algorithm for Gröbner basis computation. In ISSAC '93, pages 275–283. ACM Press, 1993.

[5]

Torbjörn Granlund et al. The GNU Linear Multiple Precision Arithmetic Library. The GNU Project, 2000. gmplib.org.

[6]

Komei Fukuda and Alain Prodon. Double description method revisited. In Lecture Notes in Comput. Sci., volume 1120, pages 91–111. Springer, 1996.

[7]

Martin Kreuzer and Lorenzo Robbiano. Computational Commutative Algebra 2. Springer-Verlag, Heidelberg, 2005.

[8]

Andrew Makhorin. GNU Linear Programming Kit. The GNU Project, 2012. www.gnu.org/software/glpk/.

[9]

Bjarke-Hammersholt Roune. A Slice Algorithm for Corners and Hilbert-Poincaré Series of Monomial Ideals. In Proceedings of the International Symposium on Symbolic and Algebraic Computation, pages 115–122, New York, 2010. ACM Press.

[10]

Thomas Yan. The Geobucket Data Structure for Polynomials. Journal of Symbolic Computation, 25:285–293, 1998.

[11]

Nikolai Zolotych. A new modification of the double description method for constructing the skeleton of a polyhedral cone. Comput. Math. Math. Phys., 52(1):146–156, 2012.