\relax 
\citation{kr:cca2}
\citation{lss:minres}
\aioptions{|{vv }{ll}{, jj}{, ff}|999|pages}
\aifilename{PommResol.adx}
\newlabel{imka}{{a}{1}}
\newlabel{rio}{{b}{1}}
\global\@namedef{n@author@}{4}
\global\@namedef{n@collab@}{0}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}}
\citation{wms:comb2}
\citation{wms:comb2}
\citation{wms:comb2}
\citation{es:morse}
\citation{jw:morse}
\citation{rf:morse}
\citation{es:inlinsyz}
\citation{wms:comb2}
\citation{dt:res}
\citation{MS04}
\citation{ek:res}
\citation{bg:scmr}
\citation{hpv:ext}
\citation{cs:reg}
\citation{mall:pom}
\citation{ec:rescones}
\citation{ht:rescones}
\citation{wms:quasigen}
\citation{ht:rescones}
\citation{wms:taylor}
\citation{gb:invbas}
\citation{gb:minbas}
\citation{ja:lec}
\citation{riq:edp}
\citation{ma:applweier}
\citation{wu:invbas}
\citation{wms:comb1}
\citation{wms:invol}
\citation{wms:comb2}
\citation{wms:invol}
\@writefile{toc}{\contentsline {section}{\numberline {2}Pommaret Bases and the Induced Resolution}{4}}
\newlabel{sec:pombas}{{2}{4}}
\newlabel{def:pombas}{{2.1}{4}}
\newlabel{eq:pombas}{{1}{4}}
\citation{wms:delta}
\citation{gb:minbas}
\citation{apel:hilbert}
\citation{gb:invbas}
\citation{wms:comb1}
\citation{wms:comb1}
\citation{fos:syz}
\citation{wms:comb2}
\newlabel{prop:pbisr}{{2.2}{5}}
\newlabel{prop:pbcrit}{{2.3}{5}}
\citation{wms:comb2}
\citation{wms:comb2}
\citation{ma:applweier}
\citation{wms:comb2}
\citation{wms:comb2}
\newlabel{eq:syzka}{{2}{6}}
\newlabel{lem:ltsyzka}{{2.4}{6}}
\newlabel{eq:ltsyzka}{{3}{6}}
\newlabel{thm:pomschreyer}{{2.5}{6}}
\newlabel{thm:hilsyzpom}{{2.6}{6}}
\newlabel{eq:pomres}{{4}{6}}
\citation{wms:comb2}
\citation{wms:comb2}
\citation{wms:quasigen}
\citation{wms:comb2}
\citation{hh:complin}
\citation{wms:comb2}
\newlabel{eq:resrank}{{5}{7}}
\newlabel{eq:highSyz}{{6}{7}}
\newlabel{eq:ltsyzkja}{{7}{7}}
\newlabel{eq:diffS}{{8}{7}}
\citation{es:morse}
\citation{jw:morse}
\@writefile{toc}{\contentsline {section}{\numberline {3}Algebraic Discrete Morse Theory and Sk\"oldberg's Resolution}{8}}
\newlabel{sec:morse}{{3}{8}}
\citation{es:inlinsyz}
\newlabel{def:ils}{{3.2}{9}}
\newlabel{eq:linsyz}{{10}{9}}
\newlabel{eq:diffF}{{11}{9}}
\citation{es:inlinsyz}
\citation{es:inlinsyz}
\citation{es:inlinsyz}
\citation{es:inlinsyz}
\newlabel{eq:crit}{{12}{10}}
\newlabel{eq:matching}{{14}{10}}
\newlabel{eq:diffFka}{{15}{10}}
\citation{es:inlinsyz}
\citation{wms:comb2}
\newlabel{eq:diffG}{{16}{11}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Sk\"oldberg's Construction and Pommaret Bases}{11}}
\newlabel{sec:skoeldpomm}{{4}{11}}
\newlabel{lem:linsyz}{{4.1}{11}}
\newlabel{lem:syz1}{{4.3}{12}}
\newlabel{lem:notype2}{{4.4}{13}}
\citation{es:morse}
\newlabel{lem:diffGnotype0}{{4.5}{14}}
\newlabel{lem:leadtermsredpaths}{{4.6}{14}}
\newlabel{cor:leadtermsdG}{{4.7}{15}}
\newlabel{cor:PBfromMorse}{{4.8}{16}}
\newlabel{thm:isores}{{4.9}{16}}
\newlabel{eq:iso}{{17}{16}}
\citation{es:inlinsyz}
\@writefile{toc}{\contentsline {section}{\numberline {5}A Simple Special Case}{17}}
\newlabel{sec:simple}{{5}{17}}
\citation{wms:comb2}
\citation{wms:comb2}
\newlabel{thm:highsyz}{{5.1}{18}}
\newlabel{eq:syzkva}{{18}{18}}
\newlabel{eq:syz2}{{19}{18}}
\citation{es:inlinsyz}
\citation{cocoalib}
\newlabel{eq:isr2}{{20}{19}}
\newlabel{eq:cex}{{21}{19}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Implementation in \textsc  {CoCoALib}}{20}}
\newlabel{sec:cocoa}{{6}{20}}
\newlabel{eq:algDiffF}{{24}{20}}
\newlabel{Algo::Prop::Sorting}{{6.1}{21}}
\newlabel{eq::Cmp1}{{25}{21}}
\newlabel{eq::Cmp2}{{26}{21}}
\citation{clo:uag}
\citation{ma:freeres}
\citation{ginv}
\citation{lss:minres}
\citation{mac2}
\citation{sing}
\citation{lss:minres}
\newlabel{ex:conca}{{6.3}{23}}
\newlabel{ex:tangent}{{6.4}{23}}
\@writefile{lot}{\contentsline {table}{\numberline {1}{\ignorespaces Timings for computing minimal free resolutions of some classical examples}}{24}}
\newlabel{tab:res_benchmarks}{{1}{24}}
\citation{wms:comb2}
\@writefile{lot}{\contentsline {table}{\numberline {2}{\ignorespaces Timings for computing Betti numbers of some classical examples}}{26}}
\newlabel{tab:betti_benchmarks}{{2}{26}}
\@writefile{toc}{\contentsline {section}{\numberline {7}The Monomial Case}{26}}
\newlabel{sec:monom}{{7}{26}}
\citation{wms:comb2}
\citation{ht:rescones}
\citation{wms:quasigen}
\newlabel{thm:monres}{{7.1}{27}}
\newlabel{eq:monsyz}{{28}{27}}
\newlabel{prop:linquot}{{7.2}{27}}
\newlabel{eq:colon}{{29}{27}}
\newlabel{ses}{{30}{27}}
\newlabel{lem:I12}{{7.3}{27}}
\newlabel{thm:mapcone}{{7.4}{28}}
\newlabel{eq:diag}{{31}{28}}
\citation{wms:taylor}
\citation{wms:comb2}
\citation{es:inlinsyz}
\citation{wms:comb2}
\newlabel{eq:psiphidelta}{{33}{29}}
\@writefile{toc}{\contentsline {section}{\numberline {8}Conclusions}{30}}
\citation{M10}
\@writefile{toc}{\contentsline {section}{\numberline {A}A Detailed Example}{31}}
\newlabel{app:ex}{{A}{31}}
\newlabel{eq:graph}{{A.1}{32}}
\bibdata{PommResol}
\bibcite{cocoalib}{{1}{2013}{{Abbott and Bigatti}}{{}}}
\bibcite{ma:freeres}{{2}{2013}{{Albert}}{{}}}
\bibcite{ma:applweier}{{3}{1990}{{Amasaki}}{{}}}
\bibcite{apel:hilbert}{{4}{1998}{{Apel}}{{}}}
\bibcite{bg:scmr}{{5}{2006}{{Bermejo and Gimenez}}{{}}}
\bibcite{cs:reg}{{6}{2005}{{Caviglia and Sbarra}}{{}}}
\bibcite{ec:rescones}{{7}{1995}{{Charalambous and Evans}}{{}}}
\bibcite{clo:uag}{{8}{1998}{{Cox et~al.}}{{Cox, Little and O'Shea}}}
\bibcite{sing}{{9}{2012}{{Decker et~al.}}{{Decker, Greuel, Pfister and Sch\"{o}nemann}}}
\bibcite{ek:res}{{10}{1990}{{Eliahou and Kervaire}}{{}}}
\bibcite{rf:morse}{{11}{1998}{{Forman}}{{}}}
\bibcite{gb:invbas}{{12}{1998a}{{Gerdt and Blinkov}}{{}}}
\bibcite{gb:minbas}{{13}{1998b}{{Gerdt and Blinkov}}{{}}}
\bibcite{mac2}{{14}{2013}{{Grayson and Stillman}}{{}}}
\bibcite{wms:quasigen}{{15}{2012}{{Hashemi et~al.}}{{Hashemi, Schweinfurter and Seiler}}}
\bibcite{wms:delta}{{16}{2006}{{Hausdorf et~al.}}{{Hausdorf, Sahbi and Seiler}}}
\bibcite{hh:complin}{{17}{1999}{{Herzog and Hibi}}{{}}}
\bibcite{hpv:ext}{{18}{2003}{{Herzog et~al.}}{{Herzog, Popescu and Vladoiu}}}
\bibcite{ht:rescones}{{19}{2002}{{Herzog and Takayama}}{{}}}
\bibcite{ja:lec}{{20}{1929}{{Janet}}{{}}}
\bibcite{jw:morse}{{21}{2009}{{J{\"o}llenbeck and Welker}}{{}}}
\bibcite{kr:cca2}{{22}{2005}{{Kreuzer and Robbiano}}{{}}}
\bibcite{lss:minres}{{23}{1998}{{La~Scala and Stillman}}{{}}}
\bibcite{mall:pom}{{24}{1998}{{Mall}}{{}}}
\bibcite{M10}{{25}{2010}{{Mermin}}{{}}}
\bibcite{MS04}{{26}{2004}{{Miller and Sturmfels}}{{}}}
\bibcite{riq:edp}{{27}{1910}{{Riquier}}{{}}}
\bibcite{fos:syz}{{28}{1980}{{Schreyer}}{{}}}
\bibcite{wms:taylor}{{29}{2002}{{Seiler}}{{}}}
\bibcite{wms:comb1}{{30}{2009a}{{Seiler}}{{}}}
\bibcite{wms:comb2}{{31}{2009b}{{Seiler}}{{}}}
\bibcite{wms:invol}{{32}{2010}{{Seiler}}{{}}}
\bibcite{es:morse}{{33}{2006}{{Sk{\"o}ldberg}}{{}}}
\bibcite{es:inlinsyz}{{34}{2011}{{Sk{\"o}ldberg}}{{}}}
\bibcite{dt:res}{{35}{1960}{{Taylor}}{{}}}
\bibcite{wu:invbas}{{36}{1991}{{Wu}}{{}}}
\bibcite{ginv}{{37}{2001}{{Yanovich et~al.}}{{Yanovich, Blinkov and Gerdt}}}
\bibstyle{elsarticle-harv}
\global\c@lastpage=35
