{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T11:26:58Z","timestamp":1773228418628,"version":"3.50.1"},"reference-count":64,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2012,1,4]],"date-time":"2012-01-04T00:00:00Z","timestamp":1325635200000},"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,2]]},"DOI":"10.1007\/s10208-011-9112-6","type":"journal-article","created":{"date-parts":[[2012,1,3]],"date-time":"2012-01-03T21:16:14Z","timestamp":1325625374000},"page":"75-122","source":"Crossref","is-referenced-by-count":6,"title":["Algorithms of Intrinsic Complexity for Point Searching in Compact Real Singular Hypersurfaces"],"prefix":"10.1007","volume":"12","author":[{"given":"Bernd","family":"Bank","sequence":"first","affiliation":[]},{"given":"Marc","family":"Giusti","sequence":"additional","affiliation":[]},{"given":"Joos","family":"Heintz","sequence":"additional","affiliation":[]},{"given":"Lutz","family":"Lehmann","sequence":"additional","affiliation":[]},{"given":"Luis Miguel","family":"Pardo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,1,4]]},"reference":[{"key":"9112_CR1","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1006\/jsco.2002.0563","volume":"34","author":"P. Aubry","year":"2002","unstructured":"P. Aubry, F. Rouillier, M. Safey\u00a0El\u00a0Din, Real solving for positive dimensional systems, J.\u00a0Symb. Comput. 34, 543\u2013560 (2002).","journal-title":"J.\u00a0Symb. Comput."},{"key":"9112_CR2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1006\/jcom.1997.0432","volume":"13","author":"B. Bank","year":"1997","unstructured":"B. Bank, M. Giusti, J. Heintz, G.M. Mbakop, Polar varieties, real equation solving, and data structures: the hypersurface case, J.\u00a0Complex. 13, 5\u201327 (1997).","journal-title":"J.\u00a0Complex."},{"key":"9112_CR3","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/PL00004896","volume":"238","author":"B. Bank","year":"2001","unstructured":"B. Bank, M. Giusti, J. Heintz, G.M. Mbakop, Polar varieties and efficient real elimination, Math. Z. 238, 115\u2013144 (2001).","journal-title":"Math. Z."},{"key":"9112_CR4","first-page":"519","volume":"40","author":"B. Bank","year":"2004","unstructured":"B. Bank, M. Giusti, J. Heintz, L.M. Pardo, Generalized polar varieties and an efficient real elimination procedure, Kybernetika 40, 519\u2013550 (2004).","journal-title":"Kybernetika"},{"key":"9112_CR5","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.jco.2004.10.001","volume":"21","author":"B. Bank","year":"2005","unstructured":"B. Bank, M. Giusti, J. Heintz, L.M. Pardo, Generalized polar varieties: geometry and algorithms, J.\u00a0Complex. 21, 377\u2013412 (2005).","journal-title":"J.\u00a0Complex."},{"key":"9112_CR6","doi-asserted-by":"crossref","first-page":"1141","DOI":"10.1016\/j.ipl.2009.07.014","volume":"109","author":"B. Bank","year":"2009","unstructured":"B. Bank, M. Giusti, J. Heintz, L.M. Pardo, On the intrinsic complexity of point finding in real singular hypersurfaces, Inf. Process. Lett. 109, 1141\u20131144 (2009).","journal-title":"Inf. Process. Lett."},{"issue":"1","key":"9112_CR7","first-page":"65","volume":"2","author":"B. Bank","year":"2010","unstructured":"B. Bank, M. Giusti, J. Heintz, L.M. Pardo, Bipolar varieties and real solving of a singular polynomial equation, Jaen J. Approx. 2(1), 65\u201377 (2010).","journal-title":"Jaen J. Approx."},{"key":"9112_CR8","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/s00200-009-0117-1","volume":"21","author":"B. Bank","year":"2010","unstructured":"B. Bank, M. Giusti, J. Heintz, M. Safey\u00a0El\u00a0Din, E. Schost, On the geometry of polar varieties, Appl. Algebra Eng. Commun. Comput. 21, 33\u201383 (2010).","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"9112_CR9","first-page":"1002","volume":"43","author":"S. Basu","year":"1996","unstructured":"S. Basu, R. Pollack, M.-F. Roy, On the combinatorial and algebraic complexity of quantifier elimination, J.\u00a0ACM 43, 1002\u20131045 (1996).","journal-title":"J.\u00a0ACM"},{"key":"9112_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-33099-2","volume-title":"Algorithms in Real Algebraic Geometry","author":"S. Basu","year":"2006","unstructured":"S. Basu, R. Pollack, M.-F. Roy, Algorithms in Real Algebraic Geometry, 2nd edn. (Springer, Berlin, 2006).","edition":"2"},{"key":"9112_CR11","volume-title":"G\u00e9om\u00e9trie Alg\u00e9brique R\u00e9elle","author":"J. Bochnak","year":"1987","unstructured":"J. Bochnak, M. Coste, M.-F. Roy, G\u00e9om\u00e9trie Alg\u00e9brique R\u00e9elle (Springer, Berlin, 1987)."},{"key":"9112_CR12","series-title":"Contemp. Math.","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1090\/conm\/266\/04298","volume-title":"Singularities in Algebraic and Analytic Geometry","author":"J.P. Brasselet","year":"2000","unstructured":"J.P. Brasselet, Milnor classes via polar varieties, in Singularities in Algebraic and Analytic Geometry, ed. by C.G. Melles et al., Contemp. Math., vol. 266 (AMS, Providence, 2000), pp. 181\u2013187."},{"key":"9112_CR13","series-title":"Grundlehren der Mathematischen Wissenschaften","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03338-8","volume-title":"Algebraic Complexity Theory","author":"P. B\u00fcrgisser","year":"1997","unstructured":"P. B\u00fcrgisser, M. Clausen, M.A. Shokrollahi, Algebraic Complexity Theory, with the collaboration of Thomas Lickteig. Grundlehren der Mathematischen Wissenschaften, vol.\u00a0315 (Springer, Berlin, 1997)."},{"key":"9112_CR14","first-page":"460","volume-title":"ACM Symposium on Theory of Computing (STOC)","author":"J.F. Canny","year":"1988","unstructured":"J.F. Canny, Some algebraic and geometric computations in PSPACE, in ACM Symposium on Theory of Computing (STOC) (1988), pp.\u00a0460\u2013467."},{"key":"9112_CR15","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/s10208-002-0065-7","volume":"3","author":"D. Castro","year":"2003","unstructured":"D. Castro, M. Giusti, J. Heintz, G. Matera, L.M. Pardo, The hardness of polynomial equation solving, Found. Comput. Math. 3, 347\u2013420 (2003).","journal-title":"Found. Comput. Math."},{"key":"9112_CR16","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0747-7171(88)80008-7","volume":"5","author":"M. Coste","year":"1988","unstructured":"M. Coste, M.-F. Roy, Thom\u2019s lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets, J.\u00a0Symb. Comput. 5, 121\u2013129 (1988).","journal-title":"J.\u00a0Symb. Comput."},{"key":"9112_CR17","volume-title":"Catastrophes et Bifurcations","author":"M. Demazure","year":"1989","unstructured":"M. Demazure, Catastrophes et Bifurcations (Ellipses, Paris, 1989)."},{"key":"9112_CR18","unstructured":"A. Dubson, Courants sous-analytiques, th\u00e9orie d\u2019intersection des ensembles analytiques, invariants num\u00e9riques des singularit\u00e9s et applications. Th\u00e8se d\u2019\u00c9tat, Universit\u00e9 Paris VII (1982)."},{"key":"9112_CR19","doi-asserted-by":"crossref","first-page":"1089","DOI":"10.1016\/j.jsc.2008.02.008","volume":"44","author":"C. Durvye","year":"2009","unstructured":"C. Durvye, Evaluation techniques for zero-dimensional primary decomposition, J.\u00a0Symb. Comput. 44, 1089\u20131113 (2009).","journal-title":"J.\u00a0Symb. Comput."},{"key":"9112_CR20","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/j.exmath.2007.07.001","volume":"26","author":"C. Durvye","year":"2008","unstructured":"C. Durvye, G. Lecerf, A concise proof of the Kronecker polynomial system solver from scratch, Expo. Math. 26, 101\u2013139 (2008).","journal-title":"Expo. Math."},{"key":"9112_CR21","first-page":"103","volume":"32","author":"N. Fitchas","year":"1990","unstructured":"N. Fitchas, A. Galligo, J. Morgenstern, Algorithmes rapides en s\u00e9quentiel et en parall\u00e8le pour l\u2019\u00e9limination des quantificateurs en g\u00e9om\u00e9trie \u00e9l\u00e9mentaire, Publ. Math. Univ. Paris VII 32, 103\u2013145 (1990). Structures alg\u00e9briques ordonn\u00e9es, Volume\u00a0I, S\u00e9lect. Expos. S\u00e9min., Paris, 1984\u20131987.","journal-title":"Publ. Math. Univ. Paris VII"},{"key":"9112_CR22","series-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1700-8","volume-title":"Intersection Theory","author":"W. Fulton","year":"1998","unstructured":"W. Fulton, Intersection Theory (2nd edn.) Ergebnisse der Mathematik und ihrer Grenzgebiete, vol.\u00a03. (Springer, Berlin, 1998). Folge\u00a02","edition":"2"},{"key":"9112_CR23","series-title":"Lond. Math. Soc. Lect. Note Ser.","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1017\/CBO9781107360198.005","volume-title":"Foundations of Computational Mathematics","author":"M. Giusti","year":"2001","unstructured":"M. Giusti, J. Heintz, Kronecker\u2019s smart, little black boxes, in Foundations of Computational Mathematics, Conference, Oxford, GB, July 18\u201328, 1999, ed. by R.A. DeVore et al., Lond. Math. Soc. Lect. Note Ser., vol. 284 (Cambridge University Press, Cambridge, 2001), pp. 69\u2013104."},{"key":"9112_CR24","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/3-540-60114-7_16","volume-title":"Applied Algebra, Algebraic Algorithms and Error-Correcting Codes","author":"M. Giusti","year":"1995","unstructured":"M. Giusti, J. Heintz, J.E. Morais, L.M. Pardo, When polynomial equation systems can be \u201csolved\u201d fast? in Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, ed. by G. Cohen, M.\u00a0Giusti, T.\u00a0Mora, LNCS, vol. 948 (Springer, Berlin, 1995), pp. 205\u2013231."},{"key":"9112_CR25","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/S0022-4049(97)00015-7","volume":"117\u2013118","author":"M. Giusti","year":"1997","unstructured":"M. Giusti, J. Heintz, K. H\u00e4gele, J.E. Morais, J.L. Monta\u00f1a, L.M. Pardo, Lower bounds for Diophantine approximations, J.\u00a0Pure Appl. Algebra 117\u2013118, 277\u2013317 (1997).","journal-title":"J.\u00a0Pure Appl. Algebra"},{"key":"9112_CR26","doi-asserted-by":"crossref","first-page":"1223","DOI":"10.1016\/S0764-4442(97)83558-6","volume":"325","author":"M. Giusti","year":"1997","unstructured":"M. Giusti, J. Heintz, J.E. Morais, L.M. Pardo, Le\u00a0r\u00f4le des structures de\u00a0donn\u00e9es dans les probl\u00e8mes d\u2019\u00e9limination, C.R. Acad. Sci. Paris S\u00e9r. I Math. 325, 1223\u20131228 (1997).","journal-title":"C.R. Acad. Sci. Paris S\u00e9r. I Math."},{"key":"9112_CR27","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1016\/S0022-4049(96)00099-0","volume":"124","author":"M. Giusti","year":"1998","unstructured":"M. Giusti, J. Heintz, J.E. Morais, J. Morgenstern, L.M. Pardo, Straight-line programs in geometric elimination theory, J.\u00a0Pure Appl. Algebra 124, 101\u2013146 (1998).","journal-title":"J.\u00a0Pure Appl. Algebra"},{"key":"9112_CR28","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1006\/jcom.2000.0571","volume":"17","author":"M. Giusti","year":"2001","unstructured":"M. Giusti, G. Lecerf, B. Salvy, A Gr\u00f6bner free alternative for polynomial system solving, J.\u00a0Complex. 17, 154\u2013211 (2001).","journal-title":"J.\u00a0Complex."},{"key":"9112_CR29","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/S0747-7171(88)80005-1","volume":"5","author":"D. Grigor\u2019ev","year":"1988","unstructured":"D. Grigor\u2019ev, N. Vorobjov, Solving systems of polynomial inequalities in subexponential time, J.\u00a0Symb. Comput. 5, 37\u201364 (1988).","journal-title":"J.\u00a0Symb. Comput."},{"key":"9112_CR30","unstructured":"K. H\u00e4gele, J.L. Monta\u00f1a, Polynomial random test for the equivalence of integers given by arithmetic circuits. Depto. de Matematicas, Estadistica y Computacion, Universidad de Cantabria, 4 (1997)."},{"key":"9112_CR31","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0304-3975(83)90002-6","volume":"24","author":"J. Heintz","year":"1983","unstructured":"J. Heintz, Definability and fast quantifier elimination in algebraically closed fields, Theor. Comput. Sci. 24, 239\u2013277 (1983).","journal-title":"Theor. Comput. Sci."},{"key":"9112_CR32","first-page":"293","volume-title":"IFIP Information Processing","author":"J. Heintz","year":"1989","unstructured":"J. Heintz, M.-F. Roy, P. Solern\u00f3, On the complexity of semialgebraic sets, in IFIP Information Processing, vol.\u00a089, ed. by G.X. Ritter (Amsterdam, Elsevier, 1989), pp.\u00a0293\u2013298."},{"key":"9112_CR33","first-page":"825","volume":"309","author":"J. Heintz","year":"1989","unstructured":"J. Heintz, M.-F. Roy, P. Solern\u00f3, Complexit\u00e9 du principe de\u00a0Tarski\u2013Seidenberg, C.R. Acad. Sci., Paris, S\u00e9r. I Math 309, 825\u2013830 (1989).","journal-title":"C.R. Acad. Sci., Paris, S\u00e9r. I Math"},{"key":"9112_CR34","doi-asserted-by":"crossref","first-page":"101","DOI":"10.24033\/bsmf.2138","volume":"18","author":"J. Heintz","year":"1990","unstructured":"J. Heintz, M.-F. Roy, P. Solern\u00f3, Sur la\u00a0complexit\u00e9 du principe de\u00a0Tarski\u2013Seidenberg, Bull. Soc. Math. Fr. 18, 101\u2013126 (1990).","journal-title":"Bull. Soc. Math. Fr."},{"key":"9112_CR35","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1006\/jcom.1999.0529","volume":"16","author":"J. Heintz","year":"2000","unstructured":"J. Heintz, T. Krick, S. Puddu, J. Sabia, A. Waissbein, Deformation techniques for efficient polynomial equation solving, J.\u00a0Complex. 16, 70\u2013109 (2000).","journal-title":"J.\u00a0Complex."},{"key":"9112_CR36","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s002000000046","volume":"11","author":"J. Heintz","year":"2001","unstructured":"J. Heintz, G. Matera, A. Waissbein, On the time-space complexity of geometric elimination procedures, Appl. Algebra Eng. Commun. Comput. 11, 239\u2013296 (2001).","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"9112_CR37","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BFb0071283","volume-title":"Algebraic Geometry, Proc. Int. Conf., La Rabida\/Spain 1981","author":"J.P.G. Henry","year":"1982","unstructured":"J.P.G. Henry, M. Merle, Limites d\u2019espaces tangents et transversalit\u00e9 de\u00a0vari\u00e9t\u00e9s polaires, in Algebraic Geometry, Proc. Int. Conf., La Rabida\/Spain 1981. Lect. Notes Math., vol. 961 (1982), pp. 189\u2013199."},{"key":"9112_CR38","series-title":"London Mathematical Society Lecture Note Ser.","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1017\/CBO9781139106962.006","volume-title":"Foundations of Computational Mathematics: Minneapolis 2002 (FoCM 2002)","author":"T. Krick","year":"2004","unstructured":"T. Krick, Straight-line programs in polynomial equation solving, in Foundations of Computational Mathematics: Minneapolis 2002 (FoCM 2002), ed. by F. Cucker et al., London Mathematical Society Lecture Note Ser., vol. 312 (Cambridge University Press, Cambridge, 2004), pp. 96\u2013136."},{"key":"9112_CR39","doi-asserted-by":"crossref","first-page":"457","DOI":"10.2307\/1971299","volume":"114","author":"D.T. L\u00ea","year":"1981","unstructured":"D.T. L\u00ea, B. Teissier, Vari\u00e9t\u00e9s polaires locales et classes de\u00a0Chern des vari\u00e9t\u00e9s singuli\u00e8res, Ann. Math. (2) 114, 457\u2013491 (1981).","journal-title":"Ann. Math. (2)"},{"key":"9112_CR40","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/s102080010026","volume":"2","author":"G. Lecerf","year":"2002","unstructured":"G. Lecerf, Quadratic Newton iteration for systems with multiplicity, Found. Comput. Math. 2, 247\u2013293 (2002).","journal-title":"Found. Comput. Math."},{"key":"9112_CR41","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1016\/S0885-064X(03)00031-1","volume":"19","author":"G. Lecerf","year":"2003","unstructured":"G. Lecerf, Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers, J.\u00a0Complex. 19, 564\u2013596 (2003).","journal-title":"J.\u00a0Complex."},{"key":"9112_CR42","unstructured":"G. Lecerf, Kronecker software package. http:\/\/www.math.uvsq.fr\/~lecerf\/software\/index.html ."},{"key":"9112_CR43","unstructured":"L. Lehmann, Wavelet-Konstruktion als Anwendung der\u00a0algorithmischen reellen algebraischen Geometrie. Dissertation, Humboldt-Universit\u00e4t zu Berlin, Mathematisch-Naturwissenschaftliche Fakult\u00e4t II (2007). http:\/\/edoc.hu-berlin.de\/docviews\/abstract.php?lang=ger&id=27952 ."},{"key":"9112_CR44","first-page":"139","volume-title":"WAIT 2001, Anales JAIIO","author":"L. Lehmann","year":"2001","unstructured":"L. Lehmann, A. Waissbein, Wavelets and semi-algebraic sets, in WAIT 2001, Anales JAIIO, vol.\u00a030, ed. by M. Frias, J. Heintz (2001), pp. 139\u2013155."},{"key":"9112_CR45","series-title":"The IMA Volumes in Mathematics and Its Applications","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/978-0-387-75155-9_6","volume-title":"Algorithms in Algebraic Geometry","author":"H.C. Mork","year":"2008","unstructured":"H.C. Mork, R. Piene, Polars of real singular plane curves, in Algorithms in Algebraic Geometry, based on the workshop, Minneapolis, MN, USA, September 18\u201322, 2006, ed. by A. Dickenstein et al., The IMA Volumes in Mathematics and Its Applications, vol. 146 (Springer, New York, 2008), pp. 99\u2013115."},{"key":"9112_CR46","doi-asserted-by":"crossref","first-page":"247","DOI":"10.24033\/asens.1346","volume":"11","author":"R. Piene","year":"1978","unstructured":"R. Piene, Polar classes of singular varieties, Ann. Sci. \u00c9c. Norm. Sup\u00e9r. (4) 11, 247\u2013276 (1978).","journal-title":"Ann. Sci. \u00c9c. Norm. Sup\u00e9r. (4)"},{"key":"9112_CR47","first-page":"291","volume-title":"Proc. 29th Annual IEEE Symposium on the Foundation of Computer Science","author":"J. Renegar","year":"1988","unstructured":"J. Renegar, A faster PSPACE algorithm for the existential theory of the reals, in Proc. 29th Annual IEEE Symposium on the Foundation of Computer Science (1988), pp. 291\u2013295."},{"key":"9112_CR48","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/S0747-7171(10)80003-3","volume":"13","author":"J. Renegar","year":"1992","unstructured":"J. Renegar, On the computational complexity and geometry of the first order theory of the reals, J.\u00a0Symb. Comput. 13, 255\u2013352 (1992).","journal-title":"J.\u00a0Symb. Comput."},{"key":"9112_CR49","unstructured":"M. Safey\u00a0El\u00a0Din, Finding sampling points on real hypersurfaces is easier in singular situations. Preprint Universit\u00e9 Paris VII (2005)."},{"key":"9112_CR50","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1145\/860854.860901","volume-title":"Proc. ISSAC 2003","author":"M. Safey\u00a0El\u00a0Din","year":"2003","unstructured":"M. Safey\u00a0El\u00a0Din, E. Schost, Polar varieties and computation of one point in each connected component of a smooth real algebraic set, in Proc. ISSAC 2003, ed. by J.R. Sendra (ACM, New York, 2003), pp. 224\u2013231."},{"key":"9112_CR51","first-page":"417","volume":"32","author":"M. Safey\u00a0El\u00a0Din","year":"2004","unstructured":"M. Safey\u00a0El\u00a0Din, E. Schost, Properness defects and projections and computation of at least one point in each connected component of a real algebraic set, J.\u00a0Discrete Comput. Geom. 32, 417\u2013430 (2004).","journal-title":"J.\u00a0Discrete Comput. Geom."},{"key":"9112_CR52","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/s00200-002-0109-x","volume":"13","author":"E. Schost","year":"2003","unstructured":"E. Schost, Computing parametric geometric resolutions, Appl. Algebra Eng. Commun. Comput. 13, 349\u2013393 (2003).","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"9112_CR53","first-page":"61","volume":"52","author":"F. Severi","year":"1903","unstructured":"F. Severi, Sulle intersezioni delle varieta algebriche e\u00a0sopra i loro caratteri e\u00a0singolarit\u00e0 proiettive, Torino Mem. (2) 52, 61\u2013118 (1903).","journal-title":"Torino Mem. (2)"},{"key":"9112_CR54","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/BF01202721","volume":"4","author":"F. Severi","year":"1932","unstructured":"F. Severi, La\u00a0serie canonica e\u00a0la\u00a0teoria delle serie principali di gruppi di punti sopra una superficie algebrica, Comment. Math. Helv. 4, 268\u2013326 (1932).","journal-title":"Comment. Math. Helv."},{"key":"9112_CR55","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-57956-1","volume-title":"Basic Algebraic Geometry. 1: Varieties in Projective Space","author":"I.R. Shafarevich","year":"1994","unstructured":"I.R. Shafarevich, Basic Algebraic Geometry. 1: Varieties in Projective Space (Springer, Berlin, 1994)."},{"key":"9112_CR56","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01810850","volume":"2","author":"P. Solern\u00f3","year":"1991","unstructured":"P. Solern\u00f3, Effective Lojasiewicz inequalities in semialgebraic geometry, Appl. Algebra Eng. Commun. Comput. 2, 1\u201314 (1991).","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"key":"9112_CR57","volume-title":"Calculus on Manifolds. A Modern Approach to Classical Theorems of Advanced Calculus","author":"M. Spivak","year":"1965","unstructured":"M. Spivak, Calculus on Manifolds. A Modern Approach to Classical Theorems of Advanced Calculus, (Benjamins, Amsterdam, 1965)."},{"key":"9112_CR58","series-title":"Lect. Notes Math.","doi-asserted-by":"crossref","first-page":"314","DOI":"10.1007\/BFb0071291","volume-title":"Algebraic Geometry","author":"B. Teissier","year":"1982","unstructured":"B. Teissier, Vari\u00e9t\u00e9s polaires II., Multiplicit\u00e9s polaires, sections planes, et conditions de\u00a0Whitney, in Algebraic Geometry, Proc. Int. Conf., La Rabida\/Spain 1981. Lect. Notes Math., vol.\u00a0961 (1982), pp. 314\u2013491."},{"key":"9112_CR59","unstructured":"B. Teissier, Quelques points de\u00a0l\u2019histoire des vari\u00e9t\u00e9s polaires, de\u00a0Poncelet \u00e0 nos jours, S\u00e9min. Anal., Univ. Blaise Pascal 1987\u20131988, 4 (1988), 12 pp."},{"key":"9112_CR60","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1112\/plms\/s2-43.2.127","volume":"43","author":"J.A. Todd","year":"1937","unstructured":"J.A. Todd, The geometrical invariants of algebraic loci, Proc. Lond. Math. Soc. 43, 127\u2013138 (1937).","journal-title":"Proc. Lond. Math. Soc."},{"key":"9112_CR61","doi-asserted-by":"crossref","first-page":"190","DOI":"10.1112\/plms\/s2-43.3.190","volume":"43","author":"J.A. Todd","year":"1937","unstructured":"J.A. Todd, The arithmetical invariants of algebraic loci, Proc. Lond. Math. Soc. 43, 190\u2013225 (1937).","journal-title":"Proc. Lond. Math. Soc."},{"key":"9112_CR62","series-title":"Lectures on Mathematics and Physics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-00493-7","volume-title":"Lectures on Results on B\u00e9zout\u2019s Theorem","author":"W. Vogel","year":"1984","unstructured":"W. Vogel, Lectures on Results on B\u00e9zout\u2019s Theorem. Lectures on Mathematics and Physics, vol.\u00a074. Notes by D.P. Patil, published for Tata Institute of Fundamental Research (Springer, Berlin, 1984)."},{"key":"9112_CR63","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BFb0016236","volume-title":"Proc. 12th Symp.","author":"J. Gathen von\u00a0zur","year":"1986","unstructured":"J. von\u00a0zur Gathen, Parallel arithmetic computations: a survey. Mathematical foundations of computer science, in Proc. 12th Symp., Bratislava\/Czech, 1986. Lect. Notes Comput. Sci.,\u00a0vol.\u00a0233 (1986), pp. 93\u2013112."},{"key":"9112_CR64","first-page":"573","volume-title":"Synthesis of Parallel Algorithms","author":"J. Gathen von\u00a0zur","year":"1993","unstructured":"J. von\u00a0zur Gathen, Parallel linear algebra, in Synthesis of Parallel Algorithms, ed. by J.H. Reif (Morgan Kaufmann, San Mateo, 1993), pp. 573\u2013617."}],"container-title":["Foundations of Computational Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-011-9112-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10208-011-9112-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10208-011-9112-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,21]],"date-time":"2019-06-21T22:58:58Z","timestamp":1561157938000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10208-011-9112-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,1,4]]},"references-count":64,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,2]]}},"alternative-id":["9112"],"URL":"https:\/\/doi.org\/10.1007\/s10208-011-9112-6","relation":{},"ISSN":["1615-3375","1615-3383"],"issn-type":[{"value":"1615-3375","type":"print"},{"value":"1615-3383","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,1,4]]}}}