{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T01:11:47Z","timestamp":1687482707238},"reference-count":62,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2012,5,31]],"date-time":"2012-05-31T00:00:00Z","timestamp":1338422400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2012,10]]},"DOI":"10.1007\/s10208-012-9123-y","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T15:09:38Z","timestamp":1338390578000},"page":"541-571","source":"Crossref","is-referenced-by-count":6,"title":["Castelnuovo\u2013Mumford Regularity and Computing the de Rham Cohomology of Smooth Projective Varieties"],"prefix":"10.1007","volume":"12","author":[{"given":"Peter","family":"Scheiblechner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,5,31]]},"reference":[{"issue":"2","key":"9123_CR1","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1215\/S0012-7094-04-12122-0","volume":"121","author":"D. Arapura","year":"2004","unstructured":"D. Arapura, Frobenius amplitude and strong vanishing theorems for vector bundles, Duke Math. J. 121(2), 231\u2013267 (2004). With an appendix by Dennis S. Keeler.","journal-title":"Duke Math. J."},{"key":"9123_CR2","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/BF02392039","volume":"131","author":"M.F. Atiyah","year":"1973","unstructured":"M.F. Atiyah, R. Bott, L. Ga\u0307rding, Lacunas for hyperbolic differential operators with constant coefficients. II, Acta Math. 131, 145\u2013206 (1973).","journal-title":"Acta Math."},{"issue":"10","key":"9123_CR3","doi-asserted-by":"crossref","first-page":"1125","DOI":"10.1016\/j.jsc.2006.07.001","volume":"41","author":"S. Basu","year":"2006","unstructured":"S. Basu, Computing the first few Betti numbers of semi-algebraic sets in single exponential time, J. Symb. Comput. 41(10), 1125\u20131154 (2006).","journal-title":"J. Symb. Comput."},{"key":"9123_CR4","series-title":"Contemp. Math.","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1090\/conm\/453\/08799","volume-title":"Surveys on Discrete and Computational Geometry","author":"S. Basu","year":"2008","unstructured":"S. Basu, Algorithmic semi-algebraic geometry and topology\u2014recent progress and open problems, in Surveys on Discrete and Computational Geometry. Contemp. Math., vol.\u00a0453 (Am. Math. Soc., Providence, 2008), pp.\u00a0139\u2013212."},{"key":"9123_CR5","series-title":"Sympos. Math.","first-page":"1","volume-title":"Computational Algebraic Geometry and Commutative Algebra","author":"D. Bayer","year":"1993","unstructured":"D. Bayer, D. Mumford, What can be computed in algebraic geometry, in Computational Algebraic Geometry and Commutative Algebra, Cortona, 1991. Sympos. Math., vol.\u00a0XXXIV (Cambridge Univ. Press, Cambridge, 1993), pp.\u00a01\u201348."},{"key":"9123_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01389151","volume":"87","author":"D. Bayer","year":"1987","unstructured":"D. Bayer, M. Stillman, A\u00a0criterion for detecting m-regularity, Invent. Math. 87, 1\u201311 (1987).","journal-title":"Invent. Math."},{"issue":"3","key":"9123_CR7","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0020-0190(84)90018-8","volume":"18","author":"S.J. Berkowitz","year":"1984","unstructured":"S.J. Berkowitz, On computing the determinant in small parallel time using a small number of processors, Inf. Process. Lett. 18(3), 147\u2013150 (1984).","journal-title":"Inf. Process. Lett."},{"issue":"3","key":"9123_CR8","doi-asserted-by":"crossref","first-page":"587","DOI":"10.1090\/S0894-0347-1991-1092845-5","volume":"4","author":"A. Bertram","year":"1991","unstructured":"A. Bertram, L. Ein, R. Lazarsfeld, Vanishing theorems, a theorem of Severi, and the equations defining projective varieties, J. Am. Math. Soc. 4(3), 587\u2013602 (1991).","journal-title":"J. Am. Math. Soc."},{"key":"9123_CR9","volume-title":"Elements of Mathematics. Algebra, Part\u00a0I: Chapters 1\u20133","author":"N. Bourbaki","year":"1974","unstructured":"N. Bourbaki, Elements of Mathematics. Algebra, Part\u00a0I: Chapters 1\u20133 (Hermann, Paris, 1974). Translated from the French."},{"issue":"3","key":"9123_CR10","doi-asserted-by":"crossref","first-page":"577","DOI":"10.2307\/1971361","volume":"126","author":"W.D. Brownawell","year":"1987","unstructured":"W.D. Brownawell, Bounds for the degrees in the Nullstellensatz, Ann. Math. 126(3), 577\u2013591 (1987).","journal-title":"Ann. Math."},{"key":"9123_CR11","series-title":"Quaderni di Matematica [Mathematics Series]","first-page":"73","volume-title":"Complexity of Computations and Proofs","author":"P. B\u00fcrgisser","year":"2004","unstructured":"P. B\u00fcrgisser, F. Cucker, Variations by complexity theorists on three themes of Euler, B\u00e9zout, Betti, and Poincar\u00e9, in Complexity of Computations and Proofs, ed. by J. Kraj\u00ed\u010dek. Quaderni di Matematica [Mathematics Series], vol.\u00a013 (Department of Mathematics, Seconda Universit\u00e0 di Napoli, Caserta, 2004), pp.\u00a073\u2013152."},{"issue":"9","key":"9123_CR12","doi-asserted-by":"crossref","first-page":"1114","DOI":"10.1016\/j.jsc.2008.02.009","volume":"44","author":"P. B\u00fcrgisser","year":"2009","unstructured":"P. B\u00fcrgisser, P. Scheiblechner, On the complexity of counting components of algebraic varieties, J. Symb. Comput. 44(9), 1114\u20131136 (2009).","journal-title":"J. Symb. Comput."},{"issue":"1","key":"9123_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00037-009-0283-3","volume":"19","author":"P. B\u00fcrgisser","year":"2010","unstructured":"P. B\u00fcrgisser, P. Scheiblechner, Counting irreducible components of complex algebraic varieties, Comput. Complex. 19(1), 1\u201335 (2010).","journal-title":"Comput. Complex."},{"issue":"1\u20133","key":"9123_CR14","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0166-218X(91)90105-6","volume":"33","author":"L. Caniglia","year":"1991","unstructured":"L. Caniglia, A. Galligo, J. Heintz, Equations for the projective closure and effective Nullstellensatz, Discrete Appl. Math. 33(1\u20133), 11\u201323 (1991).","journal-title":"Discrete Appl. Math."},{"key":"9123_CR15","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0061194","volume-title":"\u00c9quations diff\u00e9rentielles \u00e0 points singuliers r\u00e9guliers","author":"P. Deligne","year":"1970","unstructured":"P. Deligne, \u00c9quations diff\u00e9rentielles \u00e0 points singuliers r\u00e9guliers. Lecture Notes in Mathematics, vol.\u00a0163 (Springer, Berlin, 1970)."},{"issue":"4","key":"9123_CR16","doi-asserted-by":"crossref","first-page":"645","DOI":"10.24033\/asens.1616","volume":"23","author":"P. Deligne","year":"1990","unstructured":"P. Deligne, A. Dimca, Filtrations de Hodge et par l\u2019ordre du p\u00f4le pour les hypersurfaces singuli\u00e8res, Ann. Sci. Ec. Norm. Super. 23(4), 645\u2013656 (1990).","journal-title":"Ann. Sci. Ec. Norm. Super."},{"key":"9123_CR17","series-title":"Universitext","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4404-2","volume-title":"Singularities and Topology of Hypersurfaces","author":"A. Dimca","year":"1992","unstructured":"A. Dimca, Singularities and Topology of Hypersurfaces. Universitext (Springer, Berlin, 1992)."},{"key":"9123_CR18","series-title":"Graduate Texts in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5350-1","volume-title":"Commutative Algebra with a View Toward Algebraic Geometry","author":"D. Eisenbud","year":"1995","unstructured":"D. Eisenbud, Commutative Algebra with a View Toward Algebraic Geometry. Graduate Texts in Mathematics, vol.\u00a0150 (Springer, New York, 1995)."},{"issue":"1","key":"9123_CR19","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0021-8693(84)90092-9","volume":"88","author":"D. Eisenbud","year":"1984","unstructured":"D. Eisenbud, S. Goto, Linear free resolutions and minimal multiplicity, J.\u00a0Algebra 88(1), 89\u2013133 (1984).","journal-title":"J.\u00a0Algebra"},{"key":"9123_CR20","series-title":"Algorithms and Computations in Mathematics","volume-title":"Computations in Algebraic Geometry with Macaulay 2","year":"2001","unstructured":"D. Eisenbud, D. Grayson, M. Stillman, B. Sturmfels (eds.), Computations in Algebraic Geometry with Macaulay 2. Algorithms and Computations in Mathematics, vol.\u00a08 (Springer, Berlin, 2001)."},{"issue":"11","key":"9123_CR21","doi-asserted-by":"crossref","first-page":"4397","DOI":"10.1090\/S0002-9947-03-03291-4","volume":"355","author":"D. Eisenbud","year":"2003","unstructured":"D. Eisenbud, G. Fl\u00f8ystad, F.-O. Schreyer, Sheaf cohomology and free resolutions over exterior algebras, Trans. Am. Math. Soc. 355(11), 4397\u20134426 (2003) (electronic).","journal-title":"Trans. Am. Math. Soc."},{"key":"9123_CR22","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1002\/mana.19901490118","volume":"149","author":"N. Fitchas","year":"1990","unstructured":"N. Fitchas, A. Galligo, Nullstellensatz effectif et conjecture de Serre (th\u00e9or\u00e8me de Quillen-Suslin) pour le calcul formel, Math. Nachr. 149, 231\u2013253 (1990).","journal-title":"Math. Nachr."},{"key":"9123_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-4049(90)90159-F","volume":"67","author":"N. Fitchas","year":"1990","unstructured":"N. Fitchas, A. Galligo, J. Morgenstern, Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields, J. Pure Appl. Algebra 67, 1\u201314 (1990).","journal-title":"J. Pure Appl. Algebra"},{"issue":"2","key":"9123_CR24","doi-asserted-by":"crossref","first-page":"107","DOI":"10.5802\/aif.745","volume":"29","author":"A. Galligo","year":"1979","unstructured":"A. Galligo, Th\u00e9or\u00e8me de division et stabilit\u00e9 en g\u00e9om\u00e9trie analytique locale, Ann. Inst. Fourier (Grenoble) 29(2), 107\u2013184 (1979).","journal-title":"Ann. Inst. Fourier (Grenoble)"},{"issue":"1","key":"9123_CR25","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1090\/S0002-9947-05-03671-8","volume":"358","author":"D. Giaimo","year":"2006","unstructured":"D. Giaimo, On the Castelnuovo\u2013Mumford regularity of connected curves, Trans. Am. Math. Soc. 358(1), 267\u2013284 (2006) (electronic).","journal-title":"Trans. Am. Math. Soc."},{"key":"9123_CR26","first-page":"159","volume-title":"EUROSAM\u201984: Proceedings of the International Symposium on Symbolic and Algebraic Computation","author":"M. Giusti","year":"1984","unstructured":"M. Giusti, Some effectivity problems in polynomial ideal theory, in EUROSAM\u201984: Proceedings of the International Symposium on Symbolic and Algebraic Computation, London, UK (Springer, Berlin, 1984), pp.\u00a0159\u2013171."},{"key":"9123_CR27","series-title":"Progress in Math.","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-1-4612-0441-1_11","volume-title":"Effective Methods in Algebraic Geometry (Proceedings of MEGA\u201990)","author":"M. Giusti","year":"1991","unstructured":"M. Giusti, J. Heintz, Algorithmes \u2013 disons rapides \u2013 pour la\u00a0d\u00e9composition d\u2019une vari\u00e9t\u00e9 alg\u00e9brique en composantes irr\u00e9ductibles et \u00e9quidimensionnelles, in Effective Methods in Algebraic Geometry (Proceedings of MEGA\u201990), ed. by T.C. Mora Traverso. Progress in Math., vol.\u00a094 (Birkh\u00e4user, New York, 1991), pp.\u00a0169\u2013193."},{"key":"9123_CR28","unstructured":"D.R. Grayson, M.E. Stillman, Macaulay2, a software system for research in algebraic geometry. Available at http:\/\/www.math.uiuc.edu\/Macaulay2\/ ."},{"key":"9123_CR29","volume-title":"Principles of Algebraic Geometry","author":"P. Griffiths","year":"1978","unstructured":"P. Griffiths, J. Harris, Principles of Algebraic Geometry (Wiley, New York, 1978)."},{"key":"9123_CR30","first-page":"93","volume":"39","author":"A. Grothendieck","year":"1966","unstructured":"A. Grothendieck, On the de Rham cohomology of algebraic varieties, Publ. Math. IHES 39, 93\u2013103 (1966).","journal-title":"Publ. Math. IHES"},{"issue":"3","key":"9123_CR31","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/BF01398398","volume":"72","author":"L. Gruson","year":"1983","unstructured":"L. Gruson, R. Lazarsfeld, C. Peskine, On a theorem of Castelnuovo, and the equations defining space curves, Invent. Math. 72(3), 491\u2013506 (1983).","journal-title":"Invent. Math."},{"key":"9123_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3849-0","volume-title":"Algebraic Geometry","author":"R. Hartshorne","year":"1977","unstructured":"R. Hartshorne, Algebraic Geometry (Springer, New York, 1977)."},{"issue":"1","key":"9123_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s00222-004-0434-8","volume":"162","author":"Z. Jelonek","year":"2005","unstructured":"Z. Jelonek, On the effective Nullstellensatz, Invent. Math. 162(1), 1\u201317 (2005).","journal-title":"Invent. Math."},{"issue":"4","key":"9123_CR34","doi-asserted-by":"crossref","first-page":"963","DOI":"10.2307\/1990996","volume":"1","author":"J. Koll\u00e1r","year":"1988","unstructured":"J. Koll\u00e1r, Sharp effective Nullstellensatz, J. Am. Math. Soc. 1(4), 963\u2013975 (1988).","journal-title":"J. Am. Math. Soc."},{"issue":"3","key":"9123_CR35","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/PL00004809","volume":"234","author":"S. Kwak","year":"2000","unstructured":"S. Kwak, Generic projections, the equations defining projective varieties and Castelnuovo regularity, Math. Z. 234(3), 413\u2013434 (2000).","journal-title":"Math. Z."},{"key":"9123_CR36","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(81)90064-5","volume":"15","author":"D. Lazard","year":"1981","unstructured":"D. Lazard, Resolution des systemes d\u2019equations algebriques, Theor. Comput. Sci. 15, 77\u2013110 (1981).","journal-title":"Theor. Comput. Sci."},{"issue":"2","key":"9123_CR37","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1215\/S0012-7094-87-05523-2","volume":"55","author":"R. Lazarsfeld","year":"1987","unstructured":"R. Lazarsfeld, A\u00a0sharp Castelnuovo bound for smooth surfaces, Duke Math. J. 55(2), 423\u2013429 (1987).","journal-title":"Duke Math. J."},{"key":"9123_CR38","series-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics]","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-18808-4","volume-title":"Positivity in Algebraic Geometry. I","author":"R. Lazarsfeld","year":"2004","unstructured":"R. Lazarsfeld, Positivity in Algebraic Geometry. I. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics], vol.\u00a048 (Springer, Berlin, 2004). Classical setting: line bundles and linear series."},{"issue":"3","key":"9123_CR39","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1006\/jcom.1997.0447","volume":"13","author":"E.W. Mayr","year":"1997","unstructured":"E.W. Mayr, Some complexity results for polynomial ideals, J. Complex. 13(3), 303\u2013325 (1997).","journal-title":"J. Complex."},{"issue":"3","key":"9123_CR40","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1016\/0001-8708(82)90048-2","volume":"46","author":"E.W. Mayr","year":"1982","unstructured":"E.W. Mayr, A.R. Meyer, The complexity of the word problems for commutative semigroups and polynomial ideals, Adv. Math. 46(3), 305\u2013329 (1982).","journal-title":"Adv. Math."},{"key":"9123_CR41","series-title":"Mathematics Lecture Series","volume-title":"A\u00a0User\u2019s Guide to Spectral Sequences","author":"J. McCleary","year":"1985","unstructured":"J. McCleary, A\u00a0User\u2019s Guide to Spectral Sequences. Mathematics Lecture Series, vol.\u00a012 (Springer, Berlin, 1985)."},{"issue":"1","key":"9123_CR42","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/BF02579205","volume":"7","author":"K. Mulmuley","year":"1987","unstructured":"K. Mulmuley, A\u00a0fast parallel algorithm to compute the rank of a matrix over an arbitrary field, Combinatorica 7(1), 101\u2013104 (1987).","journal-title":"Combinatorica"},{"key":"9123_CR43","series-title":"Annals of Mathematics Studies","doi-asserted-by":"crossref","DOI":"10.1515\/9781400882069","volume-title":"Lectures on Curves on an Algebraic Surface","author":"D. Mumford","year":"1966","unstructured":"D. Mumford, Lectures on Curves on an Algebraic Surface. Annals of Mathematics Studies, vol.\u00a059 (Princeton University Press, Princeton, 1966). With a section by G.M.\u00a0Bergman."},{"key":"9123_CR44","first-page":"29","volume-title":"Questions on Algebraic Varieties","author":"D. Mumford","year":"1970","unstructured":"D. Mumford, Varieties defined by quadratic equations, in Questions on Algebraic Varieties, C.I.M.E., III Ciclo, Varenna, 1969 (Edizioni Cremonese, Rome, 1970), pp.\u00a029\u2013100."},{"key":"9123_CR45","series-title":"Grundlehren der mathematischen Wissenschaften","volume-title":"Algebraic Geometry I: Complex Projective Varieties","author":"D. Mumford","year":"1976","unstructured":"D. Mumford, Algebraic Geometry I: Complex Projective Varieties. Grundlehren der mathematischen Wissenschaften, vol.\u00a0221 (Springer, Berlin, 1976)."},{"key":"9123_CR46","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/S0022-4049(99)00012-2","volume":"139","author":"T. Oaku","year":"1999","unstructured":"T. Oaku, N. Takayama, An algorithm for de Rham cohomology groups of the complement of an affine variety via D-module computation, J. Pure Appl. Algebra 139, 201\u2013233 (1999).","journal-title":"J. Pure Appl. Algebra"},{"issue":"1","key":"9123_CR47","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/PL00004645","volume":"229","author":"I. Peeva","year":"1998","unstructured":"I. Peeva, B. Sturmfels, Syzygies of codimension 2 lattice ideals, Math. Z. 229(1), 163\u2013194 (1998).","journal-title":"Math. Z."},{"issue":"2","key":"9123_CR48","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/BF01388966","volume":"83","author":"H.C. Pinkham","year":"1986","unstructured":"H.C. Pinkham, A\u00a0Castelnuovo bound for smooth surfaces, Invent. Math. 83(2), 321\u2013332 (1986).","journal-title":"Invent. Math."},{"issue":"1","key":"9123_CR49","doi-asserted-by":"crossref","first-page":"131","DOI":"10.4310\/jdg\/1214445040","volume":"32","author":"Z. Ran","year":"1990","unstructured":"Z. Ran, Local differential geometry and generic projections of threefolds, J. Differ. Geom. 32(1), 131\u2013137 (1990).","journal-title":"J. Differ. Geom."},{"issue":"3","key":"9123_CR50","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1016\/j.jco.2007.03.008","volume":"23","author":"P. Scheiblechner","year":"2007","unstructured":"P. Scheiblechner, On the complexity of deciding connectedness and computing Betti numbers of a complex algebraic variety, J. Complex. 23(3), 359\u2013379 (2007).","journal-title":"J. Complex."},{"issue":"12","key":"9123_CR51","doi-asserted-by":"crossref","first-page":"1459","DOI":"10.1016\/j.jsc.2010.06.020","volume":"45","author":"P. Scheiblechner","year":"2010","unstructured":"P. Scheiblechner, On a generalization of Stickelberger\u2019s theorem, J. Symb. Comput. 45(12), 1459\u20131470 (2010). MEGA\u20192009.","journal-title":"J. Symb. Comput."},{"key":"9123_CR52","doi-asserted-by":"crossref","unstructured":"P. Scheiblechner, On the complexity of counting irreducible components and computing Betti numbers of complex algebraic varieties. Ph.D. Thesis, 2007.","DOI":"10.1016\/j.jco.2007.03.008"},{"key":"9123_CR53","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5802\/aif.59","volume":"6","author":"J.P. Serre","year":"1955\u20131956","unstructured":"J.P. Serre, G\u00e9om\u00e9trie alg\u00e9brique et g\u00e9om\u00e9trie analytique, Ann. Inst. Fourier (Grenoble) 6, 1\u201342 (1955\u20131956).","journal-title":"Ann. Inst. Fourier (Grenoble)"},{"key":"9123_CR54","doi-asserted-by":"crossref","first-page":"729","DOI":"10.1006\/jsco.1999.0399","volume":"29","author":"G. Smith","year":"2000","unstructured":"G. Smith, Computing global extension modules, J. Symb. Comput. 29, 729\u2013746 (2000).","journal-title":"J. Symb. Comput."},{"issue":"3","key":"9123_CR55","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/BF01457149","volume":"281","author":"J. St\u00fcckrad","year":"1998","unstructured":"J. St\u00fcckrad, W. Vogel, Castelnuovo\u2019s regularity and multiplicity, Math. Ann. 281(3), 355\u2013368 (1998).","journal-title":"Math. Ann."},{"key":"9123_CR56","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1145\/266670.266716","volume-title":"PASCO\u201997: Proceedings of the Second International Symposium on Parallel Symbolic Computation","author":"\u00c1. Sz\u00e1nt\u00f3","year":"1997","unstructured":"\u00c1. Sz\u00e1nt\u00f3, Complexity of the Wu-Ritt decomposition, in PASCO\u201997: Proceedings of the Second International Symposium on Parallel Symbolic Computation (ACM Press, New York, 1997), pp.\u00a0139\u2013149."},{"key":"9123_CR57","unstructured":"\u00c1. Sz\u00e1nt\u00f3, Computation with polynomial systems. Ph.D. Thesis, 1999."},{"key":"9123_CR58","series-title":"Algorithms and Computation in Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-58951-5","volume-title":"Computational Methods in Commutative Algebra and Algebraic Geometry","author":"W.V. Vasconcelos","year":"1998","unstructured":"W.V. Vasconcelos, Computational Methods in Commutative Algebra and Algebraic Geometry. Algorithms and Computation in Mathematics, vol.\u00a02 (Springer, Berlin, 1998)."},{"key":"9123_CR59","series-title":"Cambridge Studies in Advanced Mathematics","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511615344","volume-title":"Hodge Theory and Complex Algebraic Geometry. I","author":"C. Voisin","year":"2002","unstructured":"C. Voisin, Hodge Theory and Complex Algebraic Geometry. I. Cambridge Studies in Advanced Mathematics, vol.\u00a076 (Cambridge University Press, Cambridge, 2002). Translated from the French original by Leila Schneps."},{"key":"9123_CR60","series-title":"LNCS","first-page":"93","volume-title":"MFOCS86","author":"J. Gathen von\u00a0zur","year":"1986","unstructured":"J. von\u00a0zur Gathen, Parallel arithmetic computations: a survey, in MFOCS86. LNCS, vol.\u00a0233 (1986), pp.\u00a093\u2013112 SV."},{"issue":"4\u20135","key":"9123_CR61","doi-asserted-by":"crossref","first-page":"795","DOI":"10.1006\/jsco.1999.0328","volume":"29","author":"U. Walther","year":"2000","unstructured":"U. Walther, Algorithmic computation of de Rham cohomology of complements of complex affine varieties, J.\u00a0Symb. Comput. 29(4\u20135), 795\u2013839 (2000).","journal-title":"J.\u00a0Symb. Comput."},{"key":"9123_CR62","series-title":"Contemp. Math.","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1090\/conm\/286\/04763","volume-title":"Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering","author":"U. Walther","year":"2001","unstructured":"U. Walther, Algorithmic determination of the rational cohomology of complex varieties via differential forms, in Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering, South Hadley, MA, 2000. Contemp. Math., vol.\u00a0286 (Am. Math. Soc., Providence, 2001), pp.\u00a0185\u2013206."}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-012-9123-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-012-9123-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-012-9123-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,23]],"date-time":"2023-06-23T00:47:49Z","timestamp":1687481269000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-012-9123-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,31]]},"references-count":62,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2012,10]]}},"alternative-id":["9123"],"URL":"https:\/\/doi.org\/10.1007\/s10208-012-9123-y","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,31]]}}}