@misc{cocoalib, Author = {Abbott, J. and Bigatti, A.M.}, Title = {\cocoalib{} 0.9953: a {C++} library for doing Computations in Commutative Algebra}, Url = {http://cocoa.dima.unige.it/cocoalib}, Year = {2013} } @ARTICLE{apel:hilbert, author = {J. Apel}, title = {Theory of Involutive Divisions and an Application to {H}ilbert Function Computations}, journal = {J.\ Symb.\ Comp.}, year = {1998}, volume = {25}, pages = {683--704} } @misc{cocoa, Author = {CoCoATeam}, URL = {http://cocoa.dima.unige.it}, Title = {CoCoA: a system for doing Computations in Commutative Algebra} } @mastersthesis{ma:freeres, Author = {M. Albert}, School = {Universit\"at Kassel}, Title = {Computing Minimal Free Resolutions of Polynomial Ideals with Pommaret Bases}, Year = 2013} @ARTICLE{ma:applweier, author = {M. Amasaki}, title = {Application of the Generalized {W}eierstrass Preparation Theorem to the Study of Homogeneous Ideals}, journal = {Trans.\ Amer.\ Math.\ Soc.}, year = {1990}, volume = {317}, pages = {1--43} } @ARTICLE{bg:scmr, author = {I. Bermejo and P. Gimenez}, title = {Saturation and {C}astelnuovo-{M}umford Regularity}, journal = {J.\ Alg.}, year = {2006}, volume = {303}, pages = {592--617} } @ARTICLE{cs:reg, author = {G. Caviglia and E. Sbarra}, title = {Characteristic-free Bounds for the {C}astelnuovo-{M}umford Regularity}, journal = {Compos.\ Math.}, year = {2005}, volume = {141}, pages = {1365--1373} } @ARTICLE{ec:rescones, author = {H. Charalambous and G. Evans}, title = {Resolutions Obtained by Iterated Mapping Cones}, journal = {J.\ Alg.}, year = {1995}, volume = {176}, pages = {750--754} } @BOOK{clo:uag, author = {D. Cox and J. Little and D. O'Shea}, title = {Using Algebraic Geometry}, publisher = {Springer-Verlag}, year = {1998}, series = {Graduate Texts in Mathematics 185}, address = {New York} } @misc{sing, Author = {Decker, W. and Greuel, G.-M. and Pfister, G. and Sch\"{o}nemann, H.}, Title = {Singular 3-1-4 --- A computer algebra system for polynomial computations}, URL = {http://www.singular.uni-kl.de}, Year = {2012}} @ARTICLE{ek:res, author = {S. Eliahou and M. Kervaire}, title = {Minimal Resolutions of Some Monomial Ideals}, journal = {J.\ Alg.}, year = {1990}, volume = {129}, pages = {1--25} } @ARTICLE{rf:morse, author = {Forman, R.}, title = {Morse Theory for Cell Complexes}, journal = {Adv.\ Math.}, year = {1998}, volume = {134}, pages = {90--145} } @ARTICLE{gb:invbas, author = {V.P. Gerdt and Yu.A. Blinkov}, title = {Involutive Bases of Polynomial Ideals}, journal = {Math.\ Comp.\ Simul.}, year = {1998}, volume = {45}, pages = {519--542} } @ARTICLE{gb:minbas, author = {V.P. Gerdt and Yu.A. Blinkov}, title = {Minimal Involutive Bases}, journal = {Math.\ Comp.\ Simul.}, year = {1998}, volume = {45}, pages = {543--560} } @misc{mac2, Author = {Grayson, D.R. and Stillman, M.E.}, URL = {http://www.math.uiuc.edu/Macaulay2/}, Title = {Macaulay2 1.6, a software system for research in algebraic geometry}, Year = {2013} } @INCOLLECTION{wms:quasigen, author = {Hashemi, A. and Schweinfurter, M. and Seiler, W.M.}, title = {Quasi-Stability versus Genericity}, pages = {172--184}, crossref = {casc12} } @INCOLLECTION{wms:delta, author = {M. Hausdorf and M. Sahbi and W.M. Seiler}, title = {$\delta$- and Quasi-Regularity for Polynomial Ideals}, pages = {179--200}, crossref = {gift} } @ARTICLE{hh:complin, author = {J. Herzog and T. Hibi}, title = {Componentwise Linear Ideals}, journal = {Nagoya Math.\ J.}, year = {1999}, volume = {153}, pages = {141--153} } @INCOLLECTION{hpv:ext, author = {J. Herzog and D. Popescu and M. Vladoiu}, title = {On the {E}xt-Modules of Ideals of {B}orel Type}, booktitle = {Commutative Algebra}, publisher = {Amer.\ Math.\ Soc.}, year = {2003}, series = {Contemp.\ Math.~331}, pages = {171--186}, address = {Providence} } @ARTICLE{ht:rescones, author = {J. Herzog and Y. Takayama}, title = {Resolutions by Mapping Cones}, journal = {Homol.\ Homot.\ Appl.}, year = {2002}, volume = {4}, pages = {277--294} } @ARTICLE{HT02, author = {J. Herzog and Y. Takayama}, title = {Resolutions by mapping cones}, journal = {Homology, Homotopy and Applications}, year = {2002}, volume = {4(2)}, pages = {277-294}, } @BOOK{ja:lec, title = {{L}e\c{c}ons sur les {S}yst\`emes d'\'{E}quations aux {D}\'eriv\'ees {P}artielles}, publisher = {Gauthier-Villars}, year = {1929}, author = {M. Janet}, series = {Cahiers Scientifiques, Fascicule {IV}}, address = {Paris} } @BOOK{jw:morse, title = {Minimal Resolutions via Algebraic Discrete {M}orse Theory}, publisher = {Amer.\ Math.\ Soc.}, year = 2009, author = {J{\"o}llenbeck, M. and Welker, V.}, series = {Memoirs Amer.\ Math.\ Soc.~197} } @BOOK{kr:cca2, title = {Computational Commutative Algebra 2}, publisher = {Springer-Verlag}, year = {2005}, author = {M. Kreuzer and L. Robbiano}, address = {Berlin} } @ARTICLE{lss:minres, author = {La Scala, R. and M. Stillman}, title = {Strategies for Computing Minimal Free Resolutions}, journal = {J.\ Symb.\ Comp.}, year = {1998}, volume = {26}, pages = {409--431} } @ARTICLE{mall:pom, author = {D. Mall}, title = {On the Relation between {Gr\"obner} and {P}ommaret Bases}, journal = {Appl.\ Alg.\ Eng.\ Comm.\ Comp.}, year = {1998}, volume = {9}, pages = {117--123} } @ARTICLE{M10, author = {J. Mermin}, title = {The {E}liahou-{K}ervaire resolution is cellular}, journal = {J. Commut.\ Algebra}, year = {2010}, volume = {2(1)}, pages = {55-78}, } @BOOK{MS04, author = {E. Miller and B. Sturmfels}, title = {Combinatorial Commutative Algebra}, publisher = {Springer}, series = {Graduate Texts in Mathematics~227}, year = {2004} } @BOOK{riq:edp, title = {Les Syst\`emes d'\'Equations aux Deriv\'ees Partielles}, publisher = {Gauthier-Villars}, year = {1910}, author = {C. Riquier}, address = {Paris} } @MASTERSTHESIS{fos:syz, author = {F.O. Schreyer}, title = {Die {B}erechnung von {S}yzygien mit dem verallgemeinerten {W}eier\-stra\ss\-schen {D}ivisionssatz}, school = {Fakult\"at f\"ur Mathematik}, year = {1980}, address = {Universit\"at Hamburg} } @ARTICLE{wms:taylor, author = {W.M. Seiler}, title = {Taylor and {L}yubeznik Resolutions via {G}r\"obner Bases}, journal = {J.\ Symb.\ Comp.}, year = {2002}, volume = {34}, pages = {597--608}, annote = {math.AG/0208246} } @BOOK{wms:invol, title = {Involution --- {T}he {F}ormal {T}heory of {D}ifferential {E}quations and its {A}pplications in {C}omputer {A}lgebra}, publisher = {Springer-Verlag}, year = {2010}, author = {W.M. Seiler}, series = {Algorithms and Computation in Mathematics~24}, address = {Berlin} } @ARTICLE{wms:comb1, author = {W.M. Seiler}, title = {A Combinatorial Approach to Involution and $\delta$-Regularity {I}: Involutive Bases in Polynomial Algebras of Solvable Type}, journal = {Appl.\ Alg.\ Eng.\ Comm.\ Comp.}, year = {2009}, volume = {20}, pages = {207-259} } @ARTICLE{wms:comb2, author = {W.M. Seiler}, title = {A Combinatorial Approach to Involution and $\delta$-Regularity {II}: Structure Analysis of Polynomial Modules with {P}ommaret Bases}, journal = {Appl.\ Alg.\ Eng.\ Comm.\ Comp.}, year = {2009}, volume = {20}, pages = {261--338} } @ARTICLE{wms:noether, author = {W.M. Seiler}, title = {Effective Genericity, $\delta$-Regularity and Strong {N}oether Position}, journal = {Comm.\ Alg.}, year = {2012}, volume = {40}, pages = {3933--3949} } @ARTICLE{es:morse, author = {Sk{\"o}ldberg, E.}, title = {Morse Theory from an Algebraic Viewpoint}, journal = {Trans.\ Amer.\ Math.\ Soc.}, year = {2006}, volume = {358}, pages = {115--129} } @MISC{es:inlinsyz, author = {Sk{\"o}ldberg, E.}, title = {Resolutions of Modules with Initially Linear Syzygies}, howpublished = {Preprint arXiv:1106.1913}, year = {2011} } @PHDTHESIS{dt:res, author = {D. Taylor}, title = {Ideals generated by monomials in an {$R$}-sequence}, school = {University of Chicago}, year = {1960} } @ARTICLE{wu:invbas, author = {W.T. Wu}, title = {On the Construction of {G}r\"obner Basis of a Polynomial Ideal Based on {R}iquier-{J}anet Theory}, journal = {Syst.\ Sci.\ Math.\ Sci.}, year = {1991}, volume = {4}, pages = {194--207} } @misc{ginv, Author = {Yanovich, D.A. and Blinkov, Y.A. and Gerdt, V.P.}, Title = {Benchmarking}, Url = {http://invo.jinr.ru/ginv/benchmark.html}, Year = 2001 } @BOOK{casc12, title = {Computer Algebra in Scientific Computing --- {CASC} 2012}, publisher = {Springer-Verlag}, year = {2012}, editor = {V.P. Gerdt and W. Koepf and E.W. Mayr and E.V. Vorozhtsov}, series = {Lecture Notes in Computer Science~7442}, address = {Berlin}, booktitle = {Computer Algebra in Scientific Computing --- {CASC} 2012} } @BOOK{gift, title = {Global Integrability of Field Theories}, publisher = {Universit\"atsverlag Karlsruhe}, year = {2006}, editor = {J. Calmet and W.M. Seiler and R.W. Tucker}, address = {Karls\-ruhe}, booktitle = {Global Integrability of Field Theories} }