Strong Nœther Position and Stabilized Regularities

REFERENCES

• Angéniol , A. ( 1984 ). Résidus et effectivité. Preprint Centre de Mathématiques de l'Ecole polytechnique .
   Google Scholar
• Bayer D. ( 1982 ). The Division Algorithm and the Hilbert Scheme. Ph.D. thesis, Harvard University .
   Google Scholar
• Bermejo , I. , Gimenez , Ph. ( 2001 ). Computing the Castelnuovo–Mumford regularity of some subschemas of using quotients of monomial ideals. Effective methods in algebraic geometry (Bath, 2000) . J. Pure Appl. Algebra 164 ( 1–2 ): 23 – 33 .
   Web of Science ®Google Scholar
• Bermejo , I. , Gimenez , Ph. ( 2006 ). Saturation and Catelnuovo–Mumford regularity . J. Algebra 303 : 592 – 617 .
   Web of Science ®Google Scholar
• Bayer , D. , Stillman , M. ( 1987 ). A criterion for detecting m-regularity . Invent. Math. 87 ( 1 ): 1 – 11 .
   Web of Science ®Google Scholar
• Chardin , M. , D'Cruz , C. ( 2003 ). Castelnuovo–Mumford regularity: Examples of curves and surfaces . J. Algebra 270 ( 1 ): 347 – 360 .
   Web of Science ®Google Scholar
• Cox , D. , Little , J. , O'Shea , D. ( 1997 ). Ideals, Varieties, and Algorithms . New York : Springer-Verlag .
   Google Scholar
• Eisenbud , D. , Goto , S. ( 1984 ). Linear free resolutions and minimal multiplicity . J. Algebra 88 ( 1 ): 89 – 133 .
   Web of Science ®Google Scholar
• Eisenbud , D. ( 1995 ). Commutative Algebra with a View Toward Algebraic Geometry . Graduate Texts in Mathematics 150(1) . New York : Springer-Verlag .
   Google Scholar
• Eliahou , S. , Kervaire M. ( 1990 ). Minimal resolutions of some monomial ideals . J. Algebra 129 ( 1 ): 1 – 25 , 1990 .
   Web of Science ®Google Scholar
• Galligo , A. ( 1974 ). À propos du théorème de-préparation de Wierstrass . Lecture Notes in Math. 409 . Berlin : Springer , pp. 543 – 579 .
   Google Scholar
• Giusti , M. , Heintz , J. ( 1993 ). La détermination des points isolés et de la dimension d'une variété algébrique peut se faire en temps polynomial . Computational Algebraic Geometry and Commutative Algebra (Cortona, 1991) . Sympos. Math., XXXIV , Cambridge : Cambridge Univ. Press , pp. 216 – 256 .
   Google Scholar
• Giusti , M. , Hägele , K. , Lecerf , G. , Marchand , J. , Salvy , B. ( 2000 ). The projective Nœther Maple package: computing the dimension of a projective variety . J. Symbolic Comput. 30 ( 3 ): 291 – 307 .
   Web of Science ®Google Scholar
• Giusti , M. (1984). Some Effectivity Problems in Polynomial Ideal Theory . EUROSAM 84 (Cambridge, 1984), Lecture Notes in Comput. Sci. 174. Berlin : Springer, pp. 159–171.
   Google Scholar
• Green , M.-L. ( 1998 ). Generic Initial Ideals . Six lectures on commutative algebra (Bellaterra, 1996). Progr. Math. 166 . Basel : Birkhäuser , pp. 119 – 186 .
   Google Scholar
• Grayson , R.-D. , Stillman , M. ( 1996 ). Macaulay 2, a Software System for Research in Algebraic Geometry. Available at http://wwww.math.uiuc.edu/Macaulay2 .
   Google Scholar
• Giusti , M. , Schost , É. ( 1999 ). Solving some overdetermined polynomial systems . Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation (Vancouver, BC), 1–8 (electronic) . New York : ACM .
   Google Scholar
• Krick , T. , Logar , A. ( 1991 ). An algorithm for the computation of the radical of an ideal in the ring of polynomials . Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (New Orleans, LA, 1991) . Lecture Notes in Comput. Sci. 539 . Berlin : Springer , pp. 195 – 205 .
   Google Scholar
• Lazard , D. ( 1981 ). Résolution des systèmes d'équations algébriques . Theoret. Comput. Sci. 15 ( 1 ): 77 – 110 .
   Web of Science ®Google Scholar
• Lazard , D. ( 1983 ). Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations . Computer Algebra (London, 1983) . Lecture Notes in Comput. Sci. 162 . Berlin : Springer , pp. 146 – 156 .
   Google Scholar
• Mumford , D. ( 1966 ). Lectures on curves on an algebraic surface. With a section by G. M. Bergman . Annals of Mathematics Studies, No. 59 . Princeton : Princeton University Press .
   Google Scholar
• Communicated by I. Swanson.
   Google Scholar