\begin{thebibliography}{37}
\expandafter\ifx\csname natexlab\endcsname\relax\def\natexlab#1{#1}\fi
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\href}[2]{#2}
\providecommand{\path}[1]{#1}
\providecommand{\DOIprefix}{doi:}
\providecommand{\ArXivprefix}{arXiv:}
\providecommand{\URLprefix}{URL: }
\providecommand{\Pubmedprefix}{pmid:}
\providecommand{\doi}[1]{\href{http://dx.doi.org/#1}{\path{#1}}}
\providecommand{\Pubmed}[1]{\href{pmid:#1}{\path{#1}}}
\providecommand{\bibinfo}[2]{#2}
\ifx\xfnm\relax \def\xfnm[#1]{\unskip,\space#1}\fi
%Type = Misc
\bibitem[{Abbott and Bigatti(2013)}]{cocoalib}
\bibinfo{author}{Abbott, J.}, \bibinfo{author}{Bigatti, A.},
  \bibinfo{year}{2013}.
\newblock \bibinfo{title}{\cocoalib{} 0.9953: a {C++} library for doing
  computations in commutative algebra}.
\newblock \URLprefix \url{http://cocoa.dima.unige.it/cocoalib}.
%Type = Masterthesis
\bibitem[{Albert(2013)}]{ma:freeres}
\bibinfo{author}{Albert, M.}, \bibinfo{year}{2013}.
\newblock \bibinfo{title}{Computing Minimal Free Resolutions of Polynomial
  Ideals with Pommaret Bases}.
\newblock Master's thesis. Universit\"at Kassel.
%Type = Article
\bibitem[{Amasaki(1990)}]{ma:applweier}
\bibinfo{author}{Amasaki, M.}, \bibinfo{year}{1990}.
\newblock \bibinfo{title}{Application of the generalized {W}eierstrass
  preparation theorem to the study of homogeneous ideals}.
\newblock \bibinfo{journal}{Trans.\ Amer.\ Math.\ Soc.} \bibinfo{volume}{317},
  \bibinfo{pages}{1--43}.
%Type = Article
\bibitem[{Apel(1998)}]{apel:hilbert}
\bibinfo{author}{Apel, J.}, \bibinfo{year}{1998}.
\newblock \bibinfo{title}{Theory of involutive divisions and an application to
  {H}ilbert function computations}.
\newblock \bibinfo{journal}{J.\ Symb.\ Comp.} \bibinfo{volume}{25},
  \bibinfo{pages}{683--704}.
%Type = Article
\bibitem[{Bermejo and Gimenez(2006)}]{bg:scmr}
\bibinfo{author}{Bermejo, I.}, \bibinfo{author}{Gimenez, P.},
  \bibinfo{year}{2006}.
\newblock \bibinfo{title}{Saturation and {C}astelnuovo-{M}umford regularity}.
\newblock \bibinfo{journal}{J.\ Alg.} \bibinfo{volume}{303},
  \bibinfo{pages}{592--617}.
%Type = Article
\bibitem[{Caviglia and Sbarra(2005)}]{cs:reg}
\bibinfo{author}{Caviglia, G.}, \bibinfo{author}{Sbarra, E.},
  \bibinfo{year}{2005}.
\newblock \bibinfo{title}{Characteristic-free bounds for the
  {C}astelnuovo-{M}umford regularity}.
\newblock \bibinfo{journal}{Compos.\ Math.} \bibinfo{volume}{141},
  \bibinfo{pages}{1365--1373}.
%Type = Article
\bibitem[{Charalambous and Evans(1995)}]{ec:rescones}
\bibinfo{author}{Charalambous, H.}, \bibinfo{author}{Evans, G.},
  \bibinfo{year}{1995}.
\newblock \bibinfo{title}{Resolutions obtained by iterated mapping cones}.
\newblock \bibinfo{journal}{J.\ Alg.} \bibinfo{volume}{176},
  \bibinfo{pages}{750--754}.
%Type = Book
\bibitem[{Cox et~al.(1998)Cox, Little and O'Shea}]{clo:uag}
\bibinfo{author}{Cox, D.}, \bibinfo{author}{Little, J.},
  \bibinfo{author}{O'Shea, D.}, \bibinfo{year}{1998}.
\newblock \bibinfo{title}{Using Algebraic Geometry}.
\newblock Graduate Texts in Mathematics 185,
  \bibinfo{publisher}{Springer-Verlag}, \bibinfo{address}{New York}.
%Type = Misc
\bibitem[{Decker et~al.(2012)Decker, Greuel, Pfister and Sch\"{o}nemann}]{sing}
\bibinfo{author}{Decker, W.}, \bibinfo{author}{Greuel, G.M.},
  \bibinfo{author}{Pfister, G.}, \bibinfo{author}{Sch\"{o}nemann, H.},
  \bibinfo{year}{2012}.
\newblock \bibinfo{title}{Singular 3-1-4 --- a computer algebra system for
  polynomial computations}.
\newblock \URLprefix \url{http://www.singular.uni-kl.de}.
%Type = Article
\bibitem[{Eliahou and Kervaire(1990)}]{ek:res}
\bibinfo{author}{Eliahou, S.}, \bibinfo{author}{Kervaire, M.},
  \bibinfo{year}{1990}.
\newblock \bibinfo{title}{Minimal resolutions of some monomial ideals}.
\newblock \bibinfo{journal}{J.\ Alg.} \bibinfo{volume}{129},
  \bibinfo{pages}{1--25}.
%Type = Article
\bibitem[{Forman(1998)}]{rf:morse}
\bibinfo{author}{Forman, R.}, \bibinfo{year}{1998}.
\newblock \bibinfo{title}{Morse theory for cell complexes}.
\newblock \bibinfo{journal}{Adv.\ Math.} \bibinfo{volume}{134},
  \bibinfo{pages}{90--145}.
%Type = Article
\bibitem[{Gerdt and Blinkov(1998a)}]{gb:invbas}
\bibinfo{author}{Gerdt, V.}, \bibinfo{author}{Blinkov, Y.},
  \bibinfo{year}{1998}a.
\newblock \bibinfo{title}{Involutive bases of polynomial ideals}.
\newblock \bibinfo{journal}{Math.\ Comp.\ Simul.} \bibinfo{volume}{45},
  \bibinfo{pages}{519--542}.
%Type = Article
\bibitem[{Gerdt and Blinkov(1998b)}]{gb:minbas}
\bibinfo{author}{Gerdt, V.}, \bibinfo{author}{Blinkov, Y.},
  \bibinfo{year}{1998}b.
\newblock \bibinfo{title}{Minimal involutive bases}.
\newblock \bibinfo{journal}{Math.\ Comp.\ Simul.} \bibinfo{volume}{45},
  \bibinfo{pages}{543--560}.
%Type = Misc
\bibitem[{Grayson and Stillman(2013)}]{mac2}
\bibinfo{author}{Grayson, D.}, \bibinfo{author}{Stillman, M.},
  \bibinfo{year}{2013}.
\newblock \bibinfo{title}{Macaulay2 1.6, a software system for research in
  algebraic geometry}.
\newblock \URLprefix \url{http://www.math.uiuc.edu/Macaulay2/}.
%Type = Incollection
\bibitem[{Hashemi et~al.(2012)Hashemi, Schweinfurter and Seiler}]{wms:quasigen}
\bibinfo{author}{Hashemi, A.}, \bibinfo{author}{Schweinfurter, M.},
  \bibinfo{author}{Seiler, W.}, \bibinfo{year}{2012}.
\newblock \bibinfo{title}{Quasi-stability versus genericity}, in:
  \bibinfo{editor}{Gerdt, V.}, \bibinfo{editor}{Koepf, W.},
  \bibinfo{editor}{Mayr, E.}, \bibinfo{editor}{Vorozhtsov, E.} (Eds.),
  \bibinfo{booktitle}{Computer Algebra in Scientific Computing --- {CASC}
  2012}. \bibinfo{publisher}{Springer-Verlag}, \bibinfo{address}{Berlin}.
  Lecture Notes in Computer Science~7442, pp. \bibinfo{pages}{172--184}.
%Type = Incollection
\bibitem[{Hausdorf et~al.(2006)Hausdorf, Sahbi and Seiler}]{wms:delta}
\bibinfo{author}{Hausdorf, M.}, \bibinfo{author}{Sahbi, M.},
  \bibinfo{author}{Seiler, W.}, \bibinfo{year}{2006}.
\newblock \bibinfo{title}{$\delta$- and quasi-regularity for polynomial
  ideals}, in: \bibinfo{editor}{Calmet, J.}, \bibinfo{editor}{Seiler, W.},
  \bibinfo{editor}{Tucker, R.} (Eds.), \bibinfo{booktitle}{Global Integrability
  of Field Theories}. \bibinfo{publisher}{Universit\"atsverlag Karlsruhe},
  \bibinfo{address}{Karls\-ruhe}, pp. \bibinfo{pages}{179--200}.
%Type = Article
\bibitem[{Herzog and Hibi(1999)}]{hh:complin}
\bibinfo{author}{Herzog, J.}, \bibinfo{author}{Hibi, T.}, \bibinfo{year}{1999}.
\newblock \bibinfo{title}{Componentwise linear ideals}.
\newblock \bibinfo{journal}{Nagoya Math.\ J.} \bibinfo{volume}{153},
  \bibinfo{pages}{141--153}.
%Type = Incollection
\bibitem[{Herzog et~al.(2003)Herzog, Popescu and Vladoiu}]{hpv:ext}
\bibinfo{author}{Herzog, J.}, \bibinfo{author}{Popescu, D.},
  \bibinfo{author}{Vladoiu, M.}, \bibinfo{year}{2003}.
\newblock \bibinfo{title}{On the {E}xt-modules of ideals of {B}orel type}, in:
  \bibinfo{booktitle}{Commutative Algebra}. \bibinfo{publisher}{Amer.\ Math.\
  Soc.}, \bibinfo{address}{Providence}. Contemp.\ Math.~331, pp.
  \bibinfo{pages}{171--186}.
%Type = Article
\bibitem[{Herzog and Takayama(2002)}]{ht:rescones}
\bibinfo{author}{Herzog, J.}, \bibinfo{author}{Takayama, Y.},
  \bibinfo{year}{2002}.
\newblock \bibinfo{title}{Resolutions by mapping cones}.
\newblock \bibinfo{journal}{Homol.\ Homot.\ Appl.} \bibinfo{volume}{4},
  \bibinfo{pages}{277--294}.
%Type = Book
\bibitem[{Janet(1929)}]{ja:lec}
\bibinfo{author}{Janet, M.}, \bibinfo{year}{1929}.
\newblock \bibinfo{title}{{L}e\c{c}ons sur les {S}yst\`emes d'\'{E}quations aux
  {D}\'eriv\'ees {P}artielles}.
\newblock Cahiers Scientifiques, Fascicule {IV},
  \bibinfo{publisher}{Gauthier-Villars}, \bibinfo{address}{Paris}.
%Type = Book
\bibitem[{J{\"o}llenbeck and Welker(2009)}]{jw:morse}
\bibinfo{author}{J{\"o}llenbeck, M.}, \bibinfo{author}{Welker, V.},
  \bibinfo{year}{2009}.
\newblock \bibinfo{title}{Minimal Resolutions via Algebraic Discrete {M}orse
  Theory}.
\newblock Memoirs Amer.\ Math.\ Soc.~197, \bibinfo{publisher}{Amer.\ Math.\
  Soc.}
%Type = Book
\bibitem[{Kreuzer and Robbiano(2005)}]{kr:cca2}
\bibinfo{author}{Kreuzer, M.}, \bibinfo{author}{Robbiano, L.},
  \bibinfo{year}{2005}.
\newblock \bibinfo{title}{Computational Commutative Algebra 2}.
\newblock \bibinfo{publisher}{Springer-Verlag}, \bibinfo{address}{Berlin}.
%Type = Article
\bibitem[{La~Scala and Stillman(1998)}]{lss:minres}
\bibinfo{author}{La~Scala, R.}, \bibinfo{author}{Stillman, M.},
  \bibinfo{year}{1998}.
\newblock \bibinfo{title}{Strategies for computing minimal free resolutions}.
\newblock \bibinfo{journal}{J.\ Symb.\ Comp.} \bibinfo{volume}{26},
  \bibinfo{pages}{409--431}.
%Type = Article
\bibitem[{Mall(1998)}]{mall:pom}
\bibinfo{author}{Mall, D.}, \bibinfo{year}{1998}.
\newblock \bibinfo{title}{On the relation between {Gr\"obner} and {P}ommaret
  bases}.
\newblock \bibinfo{journal}{Appl.\ Alg.\ Eng.\ Comm.\ Comp.}
  \bibinfo{volume}{9}, \bibinfo{pages}{117--123}.
%Type = Article
\bibitem[{Mermin(2010)}]{M10}
\bibinfo{author}{Mermin, J.}, \bibinfo{year}{2010}.
\newblock \bibinfo{title}{The {E}liahou-{K}ervaire resolution is cellular}.
\newblock \bibinfo{journal}{J. Commut.\ Algebra} \bibinfo{volume}{2(1)},
  \bibinfo{pages}{55--78}.
%Type = Book
\bibitem[{Miller and Sturmfels(2004)}]{MS04}
\bibinfo{author}{Miller, E.}, \bibinfo{author}{Sturmfels, B.},
  \bibinfo{year}{2004}.
\newblock \bibinfo{title}{Combinatorial Commutative Algebra}.
\newblock Graduate Texts in Mathematics~227, \bibinfo{publisher}{Springer}.
%Type = Book
\bibitem[{Riquier(1910)}]{riq:edp}
\bibinfo{author}{Riquier, C.}, \bibinfo{year}{1910}.
\newblock \bibinfo{title}{Les Syst\`emes d'\'Equations aux Deriv\'ees
  Partielles}.
\newblock \bibinfo{publisher}{Gauthier-Villars}, \bibinfo{address}{Paris}.
%Type = Masterthesis
\bibitem[{Schreyer(1980)}]{fos:syz}
\bibinfo{author}{Schreyer, F.}, \bibinfo{year}{1980}.
\newblock \bibinfo{title}{Die {B}erechnung von {S}yzygien mit dem
  verallgemeinerten {W}eier\-stra\ss\-schen {D}ivisionssatz}.
\newblock Master's thesis. Fakult\"at f\"ur Mathematik.
  \bibinfo{address}{Universit\"at Hamburg}.
%Type = Article
\bibitem[{Seiler(2002)}]{wms:taylor}
\bibinfo{author}{Seiler, W.}, \bibinfo{year}{2002}.
\newblock \bibinfo{title}{Taylor and {L}yubeznik resolutions via {G}r\"obner
  bases}.
\newblock \bibinfo{journal}{J.\ Symb.\ Comp.} \bibinfo{volume}{34},
  \bibinfo{pages}{597--608}.
%Type = Article
\bibitem[{Seiler(2009a)}]{wms:comb1}
\bibinfo{author}{Seiler, W.}, \bibinfo{year}{2009}a.
\newblock \bibinfo{title}{A combinatorial approach to involution and
  $\delta$-regularity {I}: Involutive bases in polynomial algebras of solvable
  type}.
\newblock \bibinfo{journal}{Appl.\ Alg.\ Eng.\ Comm.\ Comp.}
  \bibinfo{volume}{20}, \bibinfo{pages}{207--259}.
%Type = Article
\bibitem[{Seiler(2009b)}]{wms:comb2}
\bibinfo{author}{Seiler, W.}, \bibinfo{year}{2009}b.
\newblock \bibinfo{title}{A combinatorial approach to involution and
  $\delta$-regularity {II}: Structure analysis of polynomial modules with
  {P}ommaret bases}.
\newblock \bibinfo{journal}{Appl.\ Alg.\ Eng.\ Comm.\ Comp.}
  \bibinfo{volume}{20}, \bibinfo{pages}{261--338}.
%Type = Book
\bibitem[{Seiler(2010)}]{wms:invol}
\bibinfo{author}{Seiler, W.}, \bibinfo{year}{2010}.
\newblock \bibinfo{title}{Involution --- {T}he {F}ormal {T}heory of
  {D}ifferential {E}quations and its {A}pplications in {C}omputer {A}lgebra}.
\newblock Algorithms and Computation in Mathematics~24,
  \bibinfo{publisher}{Springer-Verlag}, \bibinfo{address}{Berlin}.
%Type = Article
\bibitem[{Sk{\"o}ldberg(2006)}]{es:morse}
\bibinfo{author}{Sk{\"o}ldberg, E.}, \bibinfo{year}{2006}.
\newblock \bibinfo{title}{Morse theory from an algebraic viewpoint}.
\newblock \bibinfo{journal}{Trans.\ Amer.\ Math.\ Soc.} \bibinfo{volume}{358},
  \bibinfo{pages}{115--129}.
%Type = Misc
\bibitem[{Sk{\"o}ldberg(2011)}]{es:inlinsyz}
\bibinfo{author}{Sk{\"o}ldberg, E.}, \bibinfo{year}{2011}.
\newblock \bibinfo{title}{Resolutions of modules with initially linear
  syzygies}.
\newblock \bibinfo{howpublished}{Preprint arXiv:1106.1913}.
%Type = Phdthesis
\bibitem[{Taylor(1960)}]{dt:res}
\bibinfo{author}{Taylor, D.}, \bibinfo{year}{1960}.
\newblock \bibinfo{title}{Ideals generated by monomials in an {$R$}-sequence}.
\newblock Ph.D. thesis. University of Chicago.
%Type = Article
\bibitem[{Wu(1991)}]{wu:invbas}
\bibinfo{author}{Wu, W.}, \bibinfo{year}{1991}.
\newblock \bibinfo{title}{On the construction of {G}r\"obner basis of a
  polynomial ideal based on {R}iquier-{J}anet theory}.
\newblock \bibinfo{journal}{Syst.\ Sci.\ Math.\ Sci.} \bibinfo{volume}{4},
  \bibinfo{pages}{194--207}.
%Type = Misc
\bibitem[{Yanovich et~al.(2001)Yanovich, Blinkov and Gerdt}]{ginv}
\bibinfo{author}{Yanovich, D.}, \bibinfo{author}{Blinkov, Y.},
  \bibinfo{author}{Gerdt, V.}, \bibinfo{year}{2001}.
\newblock \bibinfo{title}{Benchmarking}.
\newblock \URLprefix \url{http://invo.jinr.ru/ginv/benchmark.html}.

\end{thebibliography}
