citations.bib

@manual{glpk,
	author = {Makhorin, Andrew},
	key = {Gnu Linear Programming Kit},
	note = {{\tt www.gnu.org/software/glpk/}},
	organization = {The GNU Project},
	title = {{GNU Linear Programming Kit}},
	year = 2012
}

@manual{gmp,
	author = {Torbj{\"o}rn Granlund et al.},
	key = {The Gnu Multiple Precision Arithmetic Library},
	note = {{\tt gmplib.org}},
	organization = {The GNU Project},
	title = {{The GNU Linear Multiple Precision Arithmetic Library}},
	year = 2000--2016
}

@article{YanGeobuckets,
	author = {Yan, Thomas},
	journal = {Journal of Symbolic Computation},
	pages = {285--293},
	publisher = {Academic Press},
	title = {{The Geobucket Data Structure for Polynomials}},
	volume = 25,
	year = 1998
}

@article{Zolotych_DoubleDescription,
  author = "Nikolai Zolotych",
  title = "A new modification of the double description method for constructing the skeleton of a polyhedral cone",
  journal = "Comput. Math. Math. Phys.",
  year = "2012",
  volume = 52,
  number = 1,
  pages = "146--156"
}

@incollection{Fukuda_DoubleDescriptionRevisited,
  author = "Komei Fukuda and Alain Prodon",
  title = "Double description method revisited",
  booktitle = "Lecture Notes in Comput. Sci.",
  publisher = "Springer",
  volume = 1120,
  year = 1996,
  pages = "91--111"
}

@Article{BagnaraHZ08SCP,
  Author = "R. Bagnara and P. M. Hill and E. Zaffanella",
  Title = "The {Parma Polyhedra Library}: Toward a Complete Set of Numerical
           Abstractions for the Analysis and Verification
           of Hardware and Software Systems",
  Journal = "Science of Computer Programming",
  Volume = 72,
  Number = "1--2",
  Pages = "3--21",
  Year = 2008,
}

@book{KR00,
	address = {Heidelberg},
	author = {Kreuzer, Martin and Robbiano, Lorenzo},
	publisher = {Springer-Verlag},
	title = {{Computational Commutative Algebra 1}},
	year = 2000
}

@book{KR05,
	address = {Heidelberg},
	author = {Kreuzer, Martin and Robbiano, Lorenzo},
	publisher = {Springer-Verlag},
	title = {{Computational Commutative Algebra 2}},
	year = 2005
}

@inproceedings{CaboaraDynAlg,
	author = {Caboara, Massimo},
	booktitle = {{ISSAC '93}},
	pages = {275--283},
	publisher = {ACM Press},
	title = {{A Dynamic Algorithm for {G}r{\"o}bner basis computation}},
	year = {1993}
}

@article{CaboaraPerry,
	author = {Caboara, Massimo and Perry, John},
	note = {Preprint available at \texttt{arxiv.org/abs/1209.2379}},
	title = {{Reducing the size and number of linear programs in a dynamic {G}r{\"o}bner basis algorithm}},
	journal = {Applicable Algebra in Engineering, Communication and Computing},
	volume = {25},
	year = {2014},
	number = {1},
	pages = {99--117},
	doi = {10.1007/s00200-014-0216-5}
}

@inproceedings{RouneHilbert2010,
	address = {New York},
	author = {Roune, Bjarke-Hammersholt},
	booktitle = {{Proceedings of the International Symposium on Symbolic and Algebraic Computation}},
	pages = {115--122},
	publisher = {ACM Press},
	title = {{A Slice Algorithm for Corners and Hilbert-Poincar{\'e} Series of Monomial Ideals}},
	year = {2010}
}

@article{Bigatti97,
	author = {Bigatti, Anna M.},
	journal = {Journal of Pure and Applied Algebra},
	number = 3,
	pages = {237--253},
	title = {{Computation of {H}ilbert-{P}oincar{\'e} Series}},
	volume = 119,
	year = 1997
}