{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:03:45Z","timestamp":1743069825070,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878261"},{"type":"electronic","value":"9783540878278"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87827-8_4","type":"book-chapter","created":{"date-parts":[[2008,9,20]],"date-time":"2008-09-20T13:53:21Z","timestamp":1221918801000},"page":"42-56","source":"Crossref","is-referenced-by-count":0,"title":["Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping"],"prefix":"10.1007","author":[{"given":"Mohab","family":"Safey El Din","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"6","key":"4_CR1","doi-asserted-by":"publisher","first-page":"678","DOI":"10.1016\/j.jsc.2007.02.001","volume":"42","author":"J.G. Alcazar","year":"2007","unstructured":"Alcazar, J.G., Schicho, J., Sendra, J.R.: A delineability-based method for computing critical sets of algebraic surfaces. J. Symb. Comput.\u00a042(6), 678\u2013691 (2007)","journal-title":"J. Symb. Comput."},{"issue":"5","key":"4_CR2","first-page":"519","volume":"40","author":"B. Bank","year":"2004","unstructured":"Bank, B., Giusti, M., Heintz, J., Pardo, L.-M.: Generalized polar varieties and efficient real elimination procedure. Kybernetika\u00a040(5), 519\u2013550 (2004)","journal-title":"Kybernetika"},{"key":"4_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05355-3","volume-title":"Algorithms in real algebraic geometry","author":"S. Basu","year":"2003","unstructured":"Basu, S., Pollack, R., Roy, M.-F.: Algorithms in real algebraic geometry. Springer, Heidelberg (2003)"},{"key":"4_CR4","unstructured":"Benedetti, R., Risler, J.-J.: Real algebraic and semi-algebraic sets. Actualit\u00e9s Math\u00e9matiques, Hermann (1990)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","first-page":"515","volume-title":"Automata Theory and Formal Languages","author":"G.E. Collins","year":"1975","unstructured":"Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Brakhage, H. (ed.) GI Fachtagung 1975. LNCS, vol.\u00a033, pp. 515\u2013532. Springer, Heidelberg (1975)"},{"key":"4_CR6","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/978-3-540-24616-9_3","volume-title":"Automated Deduction in Geometry","author":"S. Corvez","year":"2004","unstructured":"Corvez, S., Rouillier, F.: Using computer algebra tools to classify serial manipulators. In: Winkler, F. (ed.) ADG 2002. LNCS (LNAI), vol.\u00a02930, pp. 31\u201343. Springer, Heidelberg (2004)"},{"key":"4_CR7","volume-title":"Proceedings of Symposium on Computational Geometry","author":"H. Everett","year":"2007","unstructured":"Everett, H., Lazard, D., Lazard, S., Safey El Din, M.: The topology of the Voronoi diagram of three lines in \"Equation missing\". In: Proceedings of Symposium on Computational Geometry. ACM Press, South-Korea (2007)"},{"key":"4_CR8","unstructured":"Faug\u00e8re, J.-C.: Gb\/FGb, http:\/\/fgbrs.lip6.fr"},{"key":"4_CR9","series-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02421-8","volume-title":"Intersection Theory","author":"W. Fulton","year":"1984","unstructured":"Fulton, W.: Intersection Theory. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol.\u00a02. Springer, Heidelberg (1984)"},{"issue":"8","key":"4_CR10","doi-asserted-by":"publisher","first-page":"930","DOI":"10.1109\/TPAMI.2003.1217599","volume":"25","author":"X.-S. Gao","year":"2003","unstructured":"Gao, X.-S., Hou, X.-R., Tang, J., Cheng, H.-F.: Complete Solution Classification for the Perspective-Three-Point Problem. IEEE Trans. Pattern Anal. Mach. Intell.\u00a025(8), 930\u2013943 (2003)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1016\/S0022-4049(96)00099-0","volume":"124","author":"M. Giusti","year":"1998","unstructured":"Giusti, M., Heintz, J., Morais, J.-E., Morgenstern, J., Pardo, L.-M.: Straight-line programs in geometric elimination theory. Journal of Pure and Applied Algebra\u00a0124, 101\u2013146 (1998)","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"1","key":"4_CR12","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1006\/jcom.2000.0571","volume":"17","author":"M. Giusti","year":"2001","unstructured":"Giusti, M., Lecerf, G., Salvy, B.: A Gr\u00f6bner free alternative for polynomial system solving. Journal of Complexity\u00a017(1), 154\u2013211 (2001)","journal-title":"Journal of Complexity"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/S0747-7171(88)80005-1","volume":"5","author":"D. Grigoriev","year":"1988","unstructured":"Grigoriev, D., Vorobjov, N.: Solving systems of polynomials inequalities in subexponential time. Journal of Symbolic Computation\u00a05, 37\u201364 (1988)","journal-title":"Journal of Symbolic Computation"},{"key":"4_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1515\/crll.2003.101","volume":"565","author":"Z. Jelonek","year":"2003","unstructured":"Jelonek, Z., Kurdyka, K.: On asymptotic critical values of a complex polynomial. Journal f\u00fcr die Reine und Angewandte Mathematik\u00a0565, 1\u201311 (2003)","journal-title":"Journal f\u00fcr die Reine und Angewandte Mathematik"},{"issue":"1-2","key":"4_CR15","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/S0747-7171(88)80015-4","volume":"5","author":"D. Lazard","year":"1988","unstructured":"Lazard, D.: Quantifier elimination: optimal solution for two classical examples. Journal of Symbolic Computation\u00a05(1-2), 261\u2013266 (1988)","journal-title":"Journal of Symbolic Computation"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1016\/j.jsc.2007.01.007","volume":"42","author":"D. Lazard","year":"2007","unstructured":"Lazard, D., Rouillier, F.: Solving parametric polynomial systems. Journal of Symbolic Computation\u00a042, 636\u2013667 (2007)","journal-title":"Journal of Symbolic Computation"},{"key":"4_CR17","unstructured":"Lecerf, G.: Kronecker magma package for solving polynomial systems, http:\/\/www.math.uvsq.fr\/~lecerf\/software\/"},{"key":"4_CR18","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0024-3795(78)90031-9","volume":"20","author":"A. Lax","year":"1978","unstructured":"Lax, A., Lax, P.: On sums of squares. Linear Algebra App.\u00a020, 71\u201375 (1978)","journal-title":"Linear Algebra App."},{"issue":"4","key":"4_CR19","doi-asserted-by":"publisher","first-page":"564","DOI":"10.1016\/S0885-064X(03)00031-1","volume":"19","author":"G. Lecerf","year":"2003","unstructured":"Lecerf, G.: Computing the equidimensional decomposition of an algebraic closed set by means of lifting fibers. Journal of Complexity\u00a019(4), 564\u2013596 (2003)","journal-title":"Journal of Complexity"},{"key":"4_CR20","doi-asserted-by":"crossref","first-page":"67","DOI":"10.4310\/jdg\/1090347525","volume":"56","author":"K. Kurdyka","year":"2000","unstructured":"Kurdyka, K., Orro, P., Simon, S.: Semi-algebraic Sard\u2019s theorem for generalized critical values. Journal of differential geometry\u00a056, 67\u201392 (2000)","journal-title":"Journal of differential geometry"},{"key":"4_CR21","unstructured":"Rouillier, F.: RS, RealSolving, http:\/\/fgbrs.lip6.fr"},{"issue":"5","key":"4_CR22","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/s002000050114","volume":"9","author":"F. Rouillier","year":"1999","unstructured":"Rouillier, F.: Solving zero-dimensional systems through the Rational Univariate Representation. AAECC Journal\u00a09(5), 433\u2013461 (1999)","journal-title":"AAECC Journal"},{"issue":"1","key":"4_CR23","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/j.cam.2003.08.015","volume":"162","author":"F. Rouillier","year":"2003","unstructured":"Rouillier, F., Zimmermann, P.: Efficient isolation of polynomial real roots. Journal of Computational and Applied Mathematics\u00a0162(1), 33\u201350 (2003)","journal-title":"Journal of Computational and Applied Mathematics"},{"key":"4_CR24","unstructured":"Safey El Din, M.: RAGLib (Real Algebraic Geometry Library) (September 2007), http:\/\/www-spiral.lip6.fr\/~safey\/RAGLib"},{"key":"4_CR25","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1145\/860854.860901","volume-title":"Proceedings of the 2003 international symposium on Symbolic and algebraic computation","author":"M. Safey El Din","year":"2003","unstructured":"Safey El Din, M., Schost, \u00c9.: Polar varieties and computation of one point in each connected component of a smooth real algebraic set. In: Proceedings of the 2003 international symposium on Symbolic and algebraic computation, pp. 224\u2013231. ACM Press, New York (2003)"},{"issue":"3","key":"4_CR26","first-page":"417","volume":"32","author":"M. Safey El Din","year":"2004","unstructured":"Safey El Din, M., Schost, \u00c9.: Properness defects of projections and computation of one point in each connected component of a real algebraic set. Discrete and Computational Geometry\u00a032(3), 417\u2013430 (2004)","journal-title":"Discrete and Computational Geometry"},{"key":"4_CR27","unstructured":"Safey El Din, M.: Generalized critical values and solving polynomial inequalities. In: Proceedings of International Conference on Polynomial Systems (2004)"},{"issue":"1","key":"4_CR28","first-page":"177","volume":"1","author":"M. Safey El Din","year":"2007","unstructured":"Safey El Din, M.: Testing sign conditions on a multivariate polynomial and applications. Mathematics in Computer Science, Special issue on Algorithms and Complexity\u00a01(1), 177\u2013207 (2007)","journal-title":"Mathematics in Computer Science, Special issue on Algorithms and Complexity"},{"issue":"5","key":"4_CR29","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/s00200-002-0109-x","volume":"13","author":"E. Schost","year":"2003","unstructured":"Schost, E.: Computing Parametric Geometric Resolutions. Journal of Applicable Algebra in Engineering, Communication and Computing\u00a013(5), 349\u2013393 (2003)","journal-title":"Journal of Applicable Algebra in Engineering, Communication and Computing"},{"issue":"3","key":"4_CR30","doi-asserted-by":"publisher","first-page":"920","DOI":"10.1137\/050647098","volume":"17","author":"M. Schweighofer","year":"2006","unstructured":"Schweighofer, M.: Global optimization of polynomials using gradient tentacles and sums of squares. SIAM Journal on Optimization\u00a017(3), 920\u2013942 (2006)","journal-title":"SIAM Journal on Optimization"}],"container-title":["Lecture Notes in Computer Science","Computer Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87827-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T01:06:30Z","timestamp":1738371990000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-87827-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540878261","9783540878278"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87827-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}