{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:20Z","timestamp":1725663740220},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545224"},{"type":"electronic","value":"9783540384366"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54522-0_91","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:57:35Z","timestamp":1330210655000},"page":"1-18","source":"Crossref","is-referenced-by-count":1,"title":["Algorithms for the shape of semialgebraic sets a new approach"],"prefix":"10.1007","author":[{"given":"Paola","family":"Cellini","sequence":"first","affiliation":[]},{"given":"Patrizia","family":"Gianni","sequence":"additional","affiliation":[]},{"given":"Carlo","family":"Traverso","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"S. Arnborg and H. Fen, Algebraic decomposition of regular curves, J. of Symb. Comp. 5 (1988).","DOI":"10.1016\/S0747-7171(88)80009-9"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"D. Arnon, G. Collins and S. MacCallum, Cylindrical algebraic decomposition I and II, SIAM J. of Computing 13 (1984).","DOI":"10.1137\/0213055"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"D. Arnon and S. MacCallum, A polynomial-time algorithm for the topological type of a real algebraic curve, J. of Symb. Comp. 5 (1988).","DOI":"10.1016\/S0747-7171(88)80013-0"},{"key":"1_CR4","unstructured":"M. E. Alonso, M. Raimondo, The computation of the topology of a planar semi-algebraic set, Rend. Sem. Mat. Univ. Politecnico Torino (1989)."},{"key":"1_CR5","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/978-3-0348-6303-2_2","volume":"86","author":"W. Auzinger","year":"1988","unstructured":"W. Auzinger, H. J. Stetter, An elimination algorithm for the computation of all zeros of a system of multivariate polynomial equations, Numerical Mathematics, Singapore 1988 (ed.: Ravi P. Agarval, Y.M.Chow, S.J.Wilson), International Series of Numerical Mathematics vol. 86, Birkh\u00e4user Verlag, 1988, pp. 11\u201330.","journal-title":"International Series of Numerical Mathematics"},{"key":"1_CR6","unstructured":"Becker, W\u00f6rman, Talk at \u201cGe\u00e9om\u00e9trie Alg\u00e9brique R\u00e9elle\u201d, La Tourballe, 1991."},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"B. Buchberger, Gr\u00f6bner bases: an algorithmic method in polynomial ideal theory, Recent Trends in Multidimensional Systems Theory, N. K. Bose (ed.), D. Reidel Publ. Comp., 1984.","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"1_CR8","unstructured":"Cellini, P., Algoritmi ibridi in geometria reale, Ph. D. Thesis, 1993 (in preparation)."},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"G. E. Collins, Quantifier elimination for real closed fields by cylindrical algebraic decomposition, Proc. II GI Conf. on Automata and Formal Languages, LNCS 33, Springer Verlag, 1975.","DOI":"10.1007\/3-540-07407-4_17"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"M. Coste and M.-F. Roy, Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets, J. of Symb. Comp. 5 (1988)","DOI":"10.1016\/S0747-7171(88)80008-7"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"F. Cucker, L. Gonzalez Vega, F. Rossello, On algorithms for real algebraic plane curves, MEGA-90, Birkhauser, 1990.","DOI":"10.1007\/978-1-4612-0441-1_5"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Cucker, F., Pardo, L. M., Raimondo, M., Recio, T., Roy, M. F., Computation of the local and global analytic structure of a real curve, AAECC-5, LNCS, Springer Verlag, 1988, pp. 161\u2013181.","DOI":"10.1007\/3-540-51082-6_76"},{"key":"1_CR13","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/S0747-7171(88)80040-3","volume":"6","author":"P. Gianni","year":"1988","unstructured":"Gianni P., Trager B., Zacharias G., Gr\u00f6bner bases and Primary Decomposition of Polynomial Ideals, Jour. Symb. Comp. 6 (1988), 149\u2013167.","journal-title":"Jour. Symb. Comp."},{"key":"1_CR14","unstructured":"P. Gianni, C. Traverso, La forma delle curve algebriche reali piane. Realizzazione di un algoritmo., Curve algebriche, Atti del convegno di Geometria Algebrica, Firenze 1981, Consiglio Nazionale delle Ricerche, IAGA."},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"P. Gianni, C. Traverso, Shape determination of real curves and surfaces, Ann. Univ. Ferrara, Sez. VII, Sec. Math. XXIX (1983).","DOI":"10.1007\/BF02825045"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"M. Giusti, J. Heintz, Algorithmes \u2014 disons rapides \u2014 pour la d\u00e9composition d'une vari\u00e9t\u00e9 alg\u00e9brique en composantes irr\u00e9ductibles et \u00e9quidimensionnelles, Effective methods in Algebraic Geometry, Castiglioncello, 1990, Birkhauser, 1991.","DOI":"10.1007\/978-1-4612-0441-1_11"},{"key":"1_CR17","unstructured":"A. Gonzalez Corbalan, Reconocimiento de formas en curvas planas, thesis, Universitad de Cantabria, 1990."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"L. Gonzalez Vega, Working with algebraic plane curves in Reduce: the GCUR package, ISSAC-91, ACM, 1991.","DOI":"10.1145\/120694.120755"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Lakshman Y. N., On the Complexity of Computing Gr\u00f6bner Bases for Zero Dimensional Polynomial Ideals, 1991, Thesis, Rensslaer Polytechnic Institute.","DOI":"10.1007\/978-1-4612-0441-1_15"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Lakshman Y. N., A Single Exponential Bound on the Complexity of Computing Gr\u00f6bner Bases of Zero Dimensional Ideals, Effective methods in Algebraic Geometry, Castiglioncello, 1990, Birkhauser, 1991.","DOI":"10.1007\/978-1-4612-0441-1_15"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"M. G. Marinari, H. M. M\u00f6ller, T. Mora, Gr\u00f6bner bases of ideals given by dual bases, ISSAC-91, ACM, 1991.","DOI":"10.1145\/120694.120702"},{"key":"1_CR22","unstructured":"P. Milne, On the algorithms and implementation of a Geometric Algebra System, 1990, Thesis, Bath."},{"key":"1_CR23","unstructured":"J. Milnor, Morse theory, Annals of Math. Studies, 51, Cambridge Univ. Press, 1963."},{"key":"1_CR24","unstructured":"P. Pedersen, Counting real zeros, Thesis, NYU, Courant Institute, 1990."},{"key":"1_CR25","unstructured":"P. Pedersen, Counting real zeros, Talk at \u201cGe\u00e9om\u00e9trie Alg\u00e9brique R\u00e9elle\u201d, La Tourballe, 1991."},{"key":"1_CR26","unstructured":"M.-F. Roy, Computation of the topology of a real algebraic curve Proceedings of the Conference on Computational geometry and topology, Sevilla 1987, (to appear)."},{"key":"1_CR27","doi-asserted-by":"crossref","unstructured":"Stillman, M., Methods for computing in algebraic geometry and commutative algebra, Topics in computational algebra, E. Strickland, M. G. Piacentini Cattaneo, eds., Kluwer Acad. Publ., 1990, pp. 77\u2013103.","DOI":"10.1007\/978-94-011-3424-8_4"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Traverso, C., Donati, L., Experimenting the Gr\u00f6bner basis algorithm with the AIPI system, ISSAC 89, A. C. M., 1989.","DOI":"10.1145\/74540.74564"},{"key":"1_CR29","doi-asserted-by":"crossref","unstructured":"W. Vasconcelos, Jacobian matrices and constructions in algebra, AAECC-9, (these proceedings), 1991; Constructions in commutative algebra, Computational Algebraic Geometry and Commutative Algebra, Cortona, INDAM, Cambridge Univ. Press, 1991, (to appear).","DOI":"10.1007\/3-540-54522-0_95"}],"container-title":["Lecture Notes in Computer Science","Applied Algebra, Algebraic Algorithms and Error-Correcting Codes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54522-0_91.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:10:35Z","timestamp":1687284635000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54522-0_91"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545224","9783540384366"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-54522-0_91","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}