{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T10:57:35Z","timestamp":1781348255500,"version":"3.54.1"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AAECC"],"published-print":{"date-parts":[[2010,1]]},"DOI":"10.1007\/s00200-009-0117-1","type":"journal-article","created":{"date-parts":[[2010,1,11]],"date-time":"2010-01-11T12:18:45Z","timestamp":1263212325000},"page":"33-83","source":"Crossref","is-referenced-by-count":46,"title":["On the geometry of polar varieties"],"prefix":"10.1007","volume":"21","author":[{"given":"Bernd","family":"Bank","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marc","family":"Giusti","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joos","family":"Heintz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohab","family":"Safey El Din","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Schost","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2010,1,12]]},"reference":[{"key":"117_CR1","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/BF02567678","volume":"74","author":"A. Alzati","year":"1992","unstructured":"Alzati A., Ottaviani G.: The theorem of Mather on generic projections in the setting of algebraic geometry. Manuscr. Math. 74, 391\u2013412 (1992)","journal-title":"Manuscr. Math."},{"key":"117_CR2","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1006\/jsco.2002.0563","volume":"34","author":"P. Aubry","year":"2002","unstructured":"Aubry P., Rouillier F., Safey El Din M.: Real Solving for positive dimensional systems. J. Symb. Comput. 34, 543\u2013560 (2002)","journal-title":"J. Symb. Comput."},{"key":"117_CR3","doi-asserted-by":"crossref","unstructured":"Bank, B., Giusti, M., Heintz, J., Mbakop, G.M.: Polar varieties, real equation solving and data structures: The hypersurface case. J. Complex. 13, 5\u201327 (1997), Best Paper Award J. Complexity","DOI":"10.1006\/jcom.1997.0432"},{"key":"117_CR4","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/PL00004896","volume":"238","author":"B. Bank","year":"2001","unstructured":"Bank B., Giusti M., Heintz J., Mbakop G.M.: Polar varieties and efficient real elimination. Math. Z. 238, 115\u2013144 (2001)","journal-title":"Math. Z."},{"key":"117_CR5","first-page":"519","volume":"40","author":"B. Bank","year":"2004","unstructured":"Bank B., Giusti M., Heintz J., Pardo L.M.: Generalized polar varieties and an efficient real elimination procedure. Kybernetika 40, 519\u2013550 (2004)","journal-title":"Kybernetika"},{"key":"117_CR6","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1016\/j.jco.2004.10.001","volume":"21","author":"B. Bank","year":"2005","unstructured":"Bank B., Giusti M., Heintz J., Pardo L.M.: Generalized polar varieties: Geometry and algorithms. J. Complex. 21, 377\u2013412 (2005)","journal-title":"J. Complex."},{"key":"117_CR7","unstructured":"Bank, B., Giusti, M., Heintz, J., Pardo, L.M.: Vari\u00e9t\u00e9s bipolaires et r\u00e9solution d\u2019une \u00e9quation polynomiale r\u00e9elle. preprint 09-06, Humboldt\u2013Universit\u00e4t zu Berlin, Institut f\u00fcr Mathematik, http:\/\/www.mathematik.hu-berlin.de\/publ\/pre\/2009\/p-list-09.html (2009)"},{"key":"117_CR8","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1007\/978-3-7091-9459-1_17","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition","author":"S. Basu","year":"1998","unstructured":"Basu S., Pollack R., Roy M.-F.: A new algorithm to find a point in every cell defined by a family of polynomials. In: Caviness, B.F., Johnson, J.R. (eds) Quantifier Elimination and Cylindrical Algebraic Decomposition, pp. 341\u2013350. Springer, New York (1998)"},{"key":"117_CR9","doi-asserted-by":"crossref","unstructured":"Brasselet, J.P.: Milnor classes via polar varieties. In: Melles, C.G. et\u00a0al. (eds.) Singularities in algebraic and analytic geometry, San Antonio, TX, 1999, pp. 181\u2013187. Contemp. Math. 266 (2000)","DOI":"10.1090\/conm\/266\/04298"},{"key":"117_CR10","volume-title":"Determinantal rings. Lecture Notes in Mathematics 1327","author":"W. Bruns","year":"1988","unstructured":"Bruns W., Vetter U.: Determinantal rings. Lecture Notes in Mathematics 1327. Springer, Berlin (1988)"},{"key":"117_CR11","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/s10208-002-0065-7","volume":"3","author":"D. Castro","year":"2003","unstructured":"Castro D., Giusti M., Heintz J., Matera G., Pardo L.M.: The hardness of polynomial equation solving. Found. Comput. Math. 3, 347\u2013420 (2003)","journal-title":"Found. Comput. Math."},{"key":"117_CR12","doi-asserted-by":"crossref","unstructured":"Demazure, M.: Bifurcations and catastrophes. Geometry of solutions to nonlinear problems. Transl. from the 1989 French original by David Chillingworth, Universitext. Springer, Berlin (2000)","DOI":"10.1007\/978-3-642-57134-3"},{"key":"117_CR13","unstructured":"Dubson, A.: Courants sous\u2013analytiques, 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":"117_CR14","volume-title":"Intersection theory. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]","author":"W. Fulton","year":"1984","unstructured":"Fulton W.: Intersection theory. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. Springer, Berlin (1984)"},{"key":"117_CR15","doi-asserted-by":"crossref","unstructured":"Giusti, M., Heintz, J.: Kronecker\u2019s smart, little black boxes. In: DeVore, R.A., Iserles, A., S\u00fcli, E. (eds.) Foundations of Computational Mathematics, Conference Oxford 1999, Lond. Math. Soc. Lect. Note Ser. 284, pp. 69\u2013104. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107360198.005"},{"key":"117_CR16","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/S0747-7171(88)80005-1","volume":"5","author":"D. Grigor\u2019ev","year":"1988","unstructured":"Grigor\u2019ev D., Vorobjov N.: Solving systems of polynomial inequalities in subexponential time. J. Symb. Comput. 5, 37\u201364 (1988)","journal-title":"J. Symb. Comput."},{"key":"117_CR17","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0304-3975(83)90002-6","volume":"24","author":"J. Heintz","year":"1983","unstructured":"Heintz J.: Definability and fast quantifier elimination in algebraically closed fields. Theoret. Comp. Sci. 24, 239\u2013277 (1983)","journal-title":"Theoret. Comp. Sci."},{"key":"117_CR18","unstructured":"Heintz, J., Roy, M.-F., Solern\u00f3, P.: On the complexity of semialgebraic sets. In: Ritter, G.X. (ed.), IFIP Information Processing 89, pp. 293\u2013298 Elsevier (1989)"},{"key":"117_CR19","doi-asserted-by":"crossref","unstructured":"Henry, J.P.G., Merle, M.: Limites d\u2019 espaces tangents et transversalit\u00e9 de vari\u00e9t\u00e9s polaires. In: Algebraic Geometry, Proceedings of International Conference, La Rabida\/Spain 1981, Lect. Notes Math. 961, pp. 189\u2013199 (1982)","DOI":"10.1007\/BFb0071283"},{"key":"117_CR20","unstructured":"Hirzebruch, F.: Topological methods in algebraic geometry. Translation from the German and appendix one by R. L. E. Schwarzenberger. Appendix two by A. Borel. Reprint of the 2nd, corr. print. of the 3rd edn. 1978. (English) [B] Classics in Mathematics. Springer, Berlin (1995)"},{"issue":"2","key":"117_CR21","doi-asserted-by":"crossref","first-page":"178","DOI":"10.2307\/1970910","volume":"98","author":"G. Kempf","year":"1973","unstructured":"Kempf G.: On the geometry of a theorem of Riemann. Ann. Math. 98(2), 178\u2013185 (1973)","journal-title":"Ann. Math."},{"key":"117_CR22","first-page":"287","volume":"28","author":"S.L. Kleiman","year":"1973","unstructured":"Kleiman S.L.: Transversality of the general translate. Compos. Math. 28, 287\u2013297 (1973)","journal-title":"Compos. Math."},{"issue":"2","key":"117_CR23","first-page":"457","volume":"114","author":"D.T. L\u00ea","year":"1981","unstructured":"L\u00ea D.T., Teissier B.: Vari\u00e9t\u00e9s polaires locales et classes de Chern des vari\u00e9t\u00e9s singuli\u00e8res. Ann. Math. 114(2), 457\u2013491 (1981)","journal-title":"Ann. Math."},{"issue":"2","key":"117_CR24","doi-asserted-by":"crossref","first-page":"226","DOI":"10.2307\/1970783","volume":"98","author":"J.N. Mather","year":"1973","unstructured":"Mather J.N.: Generic projections. Ann. Math. 98(2), 226\u2013245 (1973)","journal-title":"Ann. Math."},{"key":"117_CR25","volume-title":"Commutative Ring Theory","author":"H. Matsumura","year":"1989","unstructured":"Matsumura H.: Commutative Ring Theory. Cambridge University Press, Cambridge (1989)"},{"key":"117_CR26","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":"Mork H.C., Piene R.: Polars of real singular plane curves. In: Dickenstein, A. (eds) Algorithms in Algebraic Geometry, pp. 99\u2013115. Springer, New York (2008)"},{"key":"117_CR27","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1090\/S0002-9939-1980-0548103-2","volume":"78","author":"V. Navarro Aznar","year":"1980","unstructured":"Navarro Aznar V.: On the Chern classes and the Euler characteristic for nonsingular complete intersections. Proc. Am. Math. Soc. 78, 143\u2013148 (1980)","journal-title":"Proc. Am. Math. Soc."},{"key":"117_CR28","first-page":"247","volume":"11","author":"R. Piene","year":"1978","unstructured":"Piene R.: Polar classes of singular varieties. Ann. Scient. \u00c9c. Norm. Sup. 4. S\u00e9rie, t. 11, 247\u2013276 (1978)","journal-title":"Ann. Scient. \u00c9c. Norm. Sup. 4. S\u00e9rie, t."},{"key":"117_CR29","first-page":"16","volume":"167","author":"F. Rouillier","year":"2000","unstructured":"Rouillier F., Roy M.-F., Safey El Din M.: Finding at least one point in each connected component of a real algebraic set defined by a single equation. J. Complex. 167, 16\u2013750 (2000)","journal-title":"J. Complex."},{"key":"117_CR30","volume-title":"The Geometry of Determinantal Loci","author":"T.G. Room","year":"1938","unstructured":"Room T.G.: The Geometry of Determinantal Loci. Cambridge Univ. Press, Cambridge (1938)"},{"key":"117_CR31","doi-asserted-by":"crossref","unstructured":"Safey El Din, M., Schost, E.: Polar varieties and computation of one point in each connected component of a smooth real algebraic set. In: Sendra, J.R. (ed.) Proc. of ISSAC 2003, pp. 224\u2013231. ACM Press (2003)","DOI":"10.1145\/860854.860901"},{"key":"117_CR32","unstructured":"Safey El Din, M.: Finding sampling points on real hypersurfaces is easier in singular situations. MEGA Conference, 6\u00a0pp (2005)"},{"key":"117_CR33","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/s11786-007-0003-9","volume":"1","author":"M. Safey El Din","year":"2007","unstructured":"Safey El Din M.: Testing sign conditions on a multivariate polynomial and applications. Math. Comput. Sci. 1, 177\u2013207 (2007)","journal-title":"Math. Comput. Sci."},{"key":"117_CR34","first-page":"417","volume":"32","author":"M. Safey El Din","year":"2004","unstructured":"Safey El Din M., Schost E.: Properness defects of projections and computation of at least one point in each connected component of a real algebraic set. J. Discre. and Comput. Geom. 32, 417\u2013430 (2004)","journal-title":"J. Discre. and Comput. Geom."},{"key":"117_CR35","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/BF01202721","volume":"4","author":"F. Severi","year":"1932","unstructured":"Severi F.: La serie canonica e la teoria delle serie principali di gruppi di punti sopra una superficie algebrica. Commentarii Math. Helvetici 4, 268\u2013326 (1932)","journal-title":"Commentarii Math. Helvetici"},{"issue":"2","key":"117_CR36","first-page":"61","volume":"52","author":"F. Severi","year":"1902","unstructured":"Severi F.: Sulle intersezioni delle varieta algebriche e sopra i loro caratteri e singolarita proiettive. Mem. Accad. Sci. Torino 52(2), 61\u2013118 (1902)","journal-title":"Mem. Accad. Sci. Torino"},{"key":"117_CR37","volume-title":"Basic Algebraic Geometry 1: Varieties in Projective Space (Transl. from the Russian by M. Reid.)","author":"I.R. Shafarevich","year":"1994","unstructured":"Shafarevich I.R.: Basic Algebraic Geometry 1: Varieties in Projective Space (Transl. from the Russian by M. Reid.), 2nd edn. Springer, Berlin (1994)","edition":"2"},{"key":"117_CR38","volume-title":"Calculus on Manifolds. A Modern Approach to Classical Theorems of Calculus","author":"M. Spivak","year":"1965","unstructured":"Spivak M.: Calculus on Manifolds. A Modern Approach to Classical Theorems of Calculus. W. A. Benjamin, Inc, New York\u2013Amsterdam (1965)"},{"key":"117_CR39","doi-asserted-by":"crossref","unstructured":"Teissier, B.: Vari\u00e9t\u00e9s polaires II., Multiplicit\u00e9s polaires, sections planes, et conditions de Whitney. In: Algebraic Geometry, Proceedings of International Conference, La Rabida\/Spain 1981, Lect. Notes Math. 961, pp. 314\u2013491. Springer (1982)","DOI":"10.1007\/BFb0071291"},{"key":"117_CR40","unstructured":"Teissier, B.: Quelques points de l\u2019histoire des vari\u00e9t\u00e9s polaires, de Poncelet \u00e0 nos jours. S\u00e9min. Anal., Univ. Blaise Pascal 1987\u20131988, 4 (1988)"},{"key":"117_CR41","unstructured":"Thom, R.: Mod\u00e8les math\u00e9matiques de la morphogen\u00e8se, Chapitre VIII, 5 (viii). Christian Bourgeois Editeur (1980)"},{"key":"117_CR42","first-page":"127","volume":"43","author":"J.A. Todd","year":"1937","unstructured":"Todd J.A.: The geometrical invariants of algebraic loci. Proc. London Math. Soc 43, 127\u2013138 (1937)","journal-title":"Proc. London Math. Soc"},{"key":"117_CR43","first-page":"190","volume":"43","author":"J.A. Todd","year":"1937","unstructured":"Todd J.A.: The arithmetical invariants of algebraic loci. Proc. London Mat. Soc. 43, 190\u2013225 (1937)","journal-title":"Proc. London Mat. Soc."},{"key":"117_CR44","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-00493-7","volume-title":"Lectures on results on Bezout\u2019s theorem","author":"W. Vogel","year":"1984","unstructured":"Vogel W.: Lectures on results on Bezout\u2019s theorem. Tata Institute of Fundamental Research, Bombay (1984)"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-009-0117-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00200-009-0117-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00200-009-0117-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T02:07:44Z","timestamp":1558750064000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00200-009-0117-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1]]},"references-count":44,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["117"],"URL":"https:\/\/doi.org\/10.1007\/s00200-009-0117-1","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1]]}}}