Gröbner basis project
Codebase for research into Gröbner basis computation
|
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.
Anna M. Bigatti. Computation of Hilbert-Poincaré Series. Journal of Pure and Applied Algebra, 119(3):237–253, 1997.
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
.
Massimo Caboara. A Dynamic Algorithm for Gröbner basis computation. In ISSAC '93, pages 275–283. ACM Press, 1993.
Torbjörn Granlund et al. The GNU Linear Multiple Precision Arithmetic Library. The GNU Project, 2000. gmplib.org
.
Komei Fukuda and Alain Prodon. Double description method revisited. In Lecture Notes in Comput. Sci., volume 1120, pages 91–111. Springer, 1996.
Martin Kreuzer and Lorenzo Robbiano. Computational Commutative Algebra 2. Springer-Verlag, Heidelberg, 2005.
Andrew Makhorin. GNU Linear Programming Kit. The GNU Project, 2012. www.gnu.org/software/glpk/
.
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.
Thomas Yan. The Geobucket Data Structure for Polynomials. Journal of Symbolic Computation, 25:285–293, 1998.
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.