{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T03:26:37Z","timestamp":1778037997538,"version":"3.51.4"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,10,23]],"date-time":"2014-10-23T00:00:00Z","timestamp":1414022400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Found Comput Math"],"published-print":{"date-parts":[[2015,2]]},"DOI":"10.1007\/s10208-014-9214-z","type":"journal-article","created":{"date-parts":[[2014,10,22]],"date-time":"2014-10-22T20:02:10Z","timestamp":1414008130000},"page":"159-184","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Degeneracy Loci and Polynomial Equation Solving"],"prefix":"10.1007","volume":"15","author":[{"given":"Bernd","family":"Bank","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Giusti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joos","family":"Heintz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gr\u00e9goire","family":"Lecerf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guillermo","family":"Matera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo","family":"Solern\u00f3","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,10,23]]},"reference":[{"key":"9214_CR1","unstructured":"B. Bank, M. Giusti, J. Heintz, L. Lehmann, and L. M. Pardo, Algorithms of intrinsic complexity for point searching in compact real singular hypersurfaces, Found. Comput. Math. 12 (2012), no. 1, 75\u2013122."},{"key":"9214_CR2","unstructured":"B. Bank, M. Giusti, J. Heintz, and G. M. Mbakop, Polar varieties and efficient real elimination, Math. Z. 238 (2001), no. 1, 115\u2013144."},{"key":"9214_CR3","unstructured":"B. Bank, M. Giusti, J. Heintz, and L. M. Pardo, Generalized polar varieties and an efficient real elimination, Kybernetika 40 (2004), no. 5, 519\u2013550."},{"key":"9214_CR4","unstructured":"B. Bank, M. Giusti, J. Heintz, and L. M. Pardo, Generalized polar varieties: geometry and algorithms, J. Complexity 21 (2005), no. 4, 377\u2013412."},{"key":"9214_CR5","unstructured":"B. Bank, M. Giusti, J. Heintz, M. Safey El Din, and \u00c9. Schost, On the geometry of polar varieties, Appl. Algebra Eng. Commun. Comput. 21 (2010), no. 1, 33\u201383."},{"key":"9214_CR6","doi-asserted-by":"crossref","unstructured":"W. Bruns and U.\u00a0Vetter, Determinantal rings, Lecture Notes in Mathematics, vol. 1327, Springer Berlin Heidelberg, 1988.","DOI":"10.1007\/BFb0080378"},{"key":"9214_CR7","doi-asserted-by":"crossref","unstructured":"P. B\u00fcrgisser, M. Clausen, and M. A. Shokrollahi, Algebraic complexity theory, Grundlehren der mathematischen Wissenschaften, vol. 315, Springer Berlin Heidelberg, 1997.","DOI":"10.1007\/978-3-662-03338-8"},{"key":"9214_CR8","unstructured":"P. B\u00fcrgisser and M. Lotz, The complexity of computing the Hilbert polynomial of smooth equidimensional complex projective varieties, Found. Comput.Math. 7 (2007), no. 1, 59\u201386."},{"key":"9214_CR9","unstructured":"A. Cafure and G. Matera, Fast computation of a rational point of a variety over a finite field, Math. Comp. 75 (2006), no.\u00a0256,2049\u20132085."},{"key":"9214_CR10","unstructured":"M. Demazure, Catastrophes et bifurcations, Ellipses, Paris, 1989."},{"key":"9214_CR11","unstructured":"C. Durvye and G. Lecerf, A concise proof of the Kronecker polynomial system solver from scratch, Expo. Math. 26 (2008), no. 2, 101\u2013139."},{"key":"9214_CR12","doi-asserted-by":"crossref","unstructured":"J. A. Eagon and M. Hochster, $$R$$ R -sequences and indeterminates, Quart. J. Math. Oxford Ser. (2) 25 (1974), 61\u201371.","DOI":"10.1093\/qmath\/25.1.61"},{"key":"9214_CR13","doi-asserted-by":"crossref","unstructured":"J. A. Eagon and D.\u00a0G. Northcott, Ideals defined by matrices and a certain complex associated with them, Proc. Roy. Soc. Ser. A 269 (1962), 188\u2013204.","DOI":"10.1098\/rspa.1962.0170"},{"key":"9214_CR14","doi-asserted-by":"crossref","unstructured":"D. Eisenbud, Commutative algebra with a view toward algebraic geometry, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995.","DOI":"10.1007\/978-1-4612-5350-1"},{"key":"9214_CR15","unstructured":"J.-C. Faug\u00e8re, FGb: A Library for Computing Gr\u00f6bner Bases, Mathematical Software - ICMS 2010 (K. Fukuda, J. van der Hoeven, M. Joswig, and N. Takayama, eds.), Lecture Notes in Comput. Sci., vol. 6327, Springer-Verlag, 2010, pp. 84\u201387."},{"key":"9214_CR16","unstructured":"W. Fulton, Intersection theory, second ed., Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, vol. 2, Springer-Verlag, Berlin, 1998."},{"key":"9214_CR17","doi-asserted-by":"crossref","unstructured":"M. Giusti, J. Heintz, K. H\u00e4gele, J. E. Morais, L. M. Pardo, and J. L. Monta\u00f1a, Lower bounds for Diophantine approximations, J. Pure Appl. Algebra 117\/118 (1997), 277\u2013317.","DOI":"10.1016\/S0022-4049(97)00015-7"},{"key":"9214_CR18","unstructured":"M. Giusti, J. Heintz, J. E. Morais, J. Morgenstern, and L. M. Pardo, Straight-line programs in geometric elimination theory, J. Pure Appl. Algebra 124 (1998), no. 1-3, 101\u2013146."},{"key":"9214_CR19","unstructured":"M. Giusti, G. Lecerf, and B. Salvy, A Gr\u00f6bner free alternative for polynomial system solving, J. Complexity 17 (2001), no. 1, 154\u2013211."},{"key":"9214_CR20","unstructured":"J. Heintz, Definability and fast quantifier elimination in algebraically closed fields, Theoret. Comput. Sci. 24 (1983), no. 3, 239\u2013277."},{"key":"9214_CR21","unstructured":"J. Heintz, G. Matera, and A. Waissbein, On the time-space complexity of geometric elimination procedures, Appl. Algebra Engrg. Comm. Comput. 11 (2001), no. 4, 239\u2013296."},{"key":"9214_CR22","doi-asserted-by":"crossref","unstructured":"J. Heintz and C.-P. Schnorr, Testing polynomials which are easy to compute, International Symposium on Logic and Algorithmic (Zurich, 1980) (Geneva), Monograph. Enseign. Math., vol. 30, Univ. Gen\u00e8ve, 1982, pp. 237\u2013254.","DOI":"10.1145\/800141.804674"},{"key":"9214_CR23","doi-asserted-by":"crossref","unstructured":"E. Kaltofen and B. D. Saunders, On Wiedemann\u2019s method of solving sparse linear systems, Applied algebra, algebraic algorithms and error-correcting codes (New Orleans, LA, 1991), Lecture Notes in Comput. Sci., vol. 539, Springer, Berlin, 1991, pp. 29\u201338.","DOI":"10.1007\/3-540-54522-0_93"},{"key":"9214_CR24","unstructured":"H. Matsumura, Commutative ring theory, Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1986, Translated from the Japanese by M. Reid."},{"key":"9214_CR25","doi-asserted-by":"crossref","unstructured":"D. Mumford, The red book of varieties and schemes, Lecture Notes in Mathematics, vol. 1358, Springer-Verlag, Berlin, 1988.","DOI":"10.1007\/978-3-662-21581-4"},{"key":"9214_CR26","unstructured":"R. Piene, Polar classes of singular varieties, Ann. Sci. \u00c9cole Norm. Sup. (4) 11 (1978), no. 2, 247\u2013276."},{"key":"9214_CR27","unstructured":"M. Safey El Din, RAGLib (Real Algebraic Geometry Library), Maple (TM) package, from 2007, http:\/\/www-polsys.lip6.fr\/~safey\/RAGLib ."},{"key":"9214_CR28","unstructured":"M. Safey El Din and Ph. Tr\u00e9buchet, Strong bi-homogeneous B\u00e9zout theorem and its use in effective real algebraic geometry, Tech. Report 6001, INRIA, 2006, http:\/\/hal.inria.fr\/inria-00105204 ."},{"key":"9214_CR29","unstructured":"J. T. Schwartz, Fast probabilistic algorithms for verification of polynomial identities, J. Assoc. Comput. Mach. 27 (1980), no. 4, 701\u2013717."},{"key":"9214_CR30","unstructured":"I. R. Shafarevich, Basic algebraic geometry. 1, second ed., Springer-Verlag, Berlin, 1994, Varieties in projective space, Translated from the 1988 Russian edition and with notes by Miles Reid."},{"key":"9214_CR31","doi-asserted-by":"crossref","unstructured":"I. R. Shafarevich, Basic algebraic geometry. 2, second ed., Springer-Verlag, Berlin, 1994, Schemes and complex manifolds, Translated from the 1988 Russian edition by Miles Reid.","DOI":"10.1007\/978-3-642-57956-1_4"},{"key":"9214_CR32","unstructured":"M. Turrel\u00a0Bardet, \u00c9tude des syst\u00e8mes alg\u00e9briques surd\u00e9termin\u00e9s. Applications aux codes correcteurs et \u00e0 la cryptographie, Ph.D. thesis, Universit\u00e9 Paris 6, 2004, http:\/\/tel.archives-ouvertes.fr\/tel-00449609 ."},{"key":"9214_CR33","unstructured":"J. van der Hoeven, G. Lecerf, B. Mourain, et al., Mathemagix, from 2002, http:\/\/www.mathemagix.org ."},{"key":"9214_CR34","unstructured":"W. Vogel, Lectures on results on Bezout\u2019s theorem, Tata Institute of Fundamental Research Lectures on Mathematics and Physics, vol. 74, Published for the Tata Institute of Fundamental Research, Bombay, 1984, Notes by D. P. Patil."},{"key":"9214_CR35","doi-asserted-by":"crossref","unstructured":"R. Zippel, Probabilistic algorithms for sparse polynomials, Symbolic and algebraic computation (EUROSAM \u201979, Internat. Sympos., Marseille, 1979), Lecture Notes in Comput. Sci., vol. 72, Springer, Berlin, 1979, pp. 216\u2013226.","DOI":"10.1007\/3-540-09519-5_73"}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-014-9214-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-014-9214-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-014-9214-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,20]],"date-time":"2022-04-20T12:51:24Z","timestamp":1650459084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-014-9214-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,23]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,2]]}},"alternative-id":["9214"],"URL":"https:\/\/doi.org\/10.1007\/s10208-014-9214-z","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10,23]]}}}