{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T23:04:08Z","timestamp":1746745448810},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1992,6,1]],"date-time":"1992-06-01T00:00:00Z","timestamp":707356800000},"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":[[1992,6]]},"DOI":"10.1007\/bf01387193","type":"journal-article","created":{"date-parts":[[2005,4,2]],"date-time":"2005-04-02T08:06:13Z","timestamp":1112429173000},"page":"79-98","source":"Crossref","is-referenced-by-count":5,"title":["NC algorithms for real algebraic numbers"],"prefix":"10.1007","volume":"3","author":[{"given":"F.","family":"Cucker","sequence":"first","affiliation":[]},{"given":"H.","family":"Lanneau","sequence":"additional","affiliation":[]},{"given":"B.","family":"Mishra","sequence":"additional","affiliation":[]},{"given":"P.","family":"Pedersen","sequence":"additional","affiliation":[]},{"given":"M. -F.","family":"Roy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"EATCS Monographs of Theoretical Computer Science","author":"J. L. Balc\u00e1zar","year":"1990","unstructured":"Balc\u00e1zar, J. L., Diaz, J., Gabarr\u00f3, J.: Structural Complexity. vol 2, EATCS Monographs of Theoretical Computer Science. Berlin, Heidelberg, New York: Springer 1990"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0022-0000(86)90029-2","volume":"32","author":"M. Ben-Or","year":"1986","unstructured":"Ben-Or, M., Kozen, D., Reif, J.: The complexity of elementary algebra and geometry. J. Comp. Sys. Sci.32, 251?264 (1986)","journal-title":"J. Comp. Sys. Sci."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/0020-0190(84)90018-8","volume":"18","author":"S. Berkowitz","year":"1984","unstructured":"Berkowitz, S.: On computing the determinant in small parallel time with a small number of processors. Inform. Process. Lett.18, 147?150 (1984)","journal-title":"Inform. Process. Lett."},{"key":"CR4","volume-title":"G\u00e9om\u00e9trie alg\u00e9brique r\u00e9elle","author":"J. Bochnak","year":"1988","unstructured":"Bochnak, J., Coste, M., Roy, M.-F.: G\u00e9om\u00e9trie alg\u00e9brique r\u00e9elle. Berlin, Heidelberg, New York: Springer 1988"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0019-9958(82)90766-5","volume":"52","author":"A. Borodin","year":"1982","unstructured":"Borodin, A., von zur Gathen, J., Hopcroft, J.: Fast parallel matrix and GCD computations. Inform. Control.52, 241?256 (1982)","journal-title":"Inform. Control."},{"key":"CR6","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0747-7171(08)80013-2","volume":"9","author":"D. Coppersmith","year":"1990","unstructured":"Coppersmith, D., Vinograd, S.: Matrix multiplication via Arithmetic progressions. J. Symb. Comput.9, 251?280 (1990)","journal-title":"J. Symb. Comput."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1016\/S0747-7171(88)80008-7","volume":"5","author":"M. Coste","year":"1988","unstructured":"Coste, M., Roy, M.-F.: Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets. J. Symb. Comp.5, 121?129 (1988)","journal-title":"J. Symb. Comp."},{"key":"CR8","first-page":"63","volume-title":"Proceedings of the MEGA'90. Progress in Mathematics. vol.14","author":"F. Cucker","year":"1991","unstructured":"Cucker, F., Gonz\u00e1lez, L., Rossell\u00f3, F.: On algorithms for real algebraic plane curves. Proceedings of the MEGA'90. Progress in Mathematics. vol.14, pp. 63?89, Basel: Birkh\u00e4user 1991"},{"key":"CR9","unstructured":"Cucker, F., Gonz\u00e1lez, L., Roy, M.-F., Szpirglas, A.: IF, a package for deciding systems of inequalities. Proceedings of the IX Conference of the Chilean Computer Science Society, pp. 77?86 (1989)"},{"key":"CR10","first-page":"161","volume-title":"Proceedings of the A.A.E.C.C.-5, 1987. Springer LNCS vol.356","author":"F. Cucker","year":"1989","unstructured":"Cucker, F., Pardo, L. M., Raimondo, M., Recio, T., Roy, M.-F.: On the computation of the local and global analytic branches of a real algebraic curve. Proceedings of the A.A.E.C.C.-5, 1987. Springer LNCS vol.356, pp. 161?182. Berlin, Heidelberg, New York: Springer 1989"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1016\/S0747-7171(08)80052-1","volume":"10","author":"F. Cucker","year":"1989","unstructured":"Cucker, F., Roy, M.-F.: A theorem on random polynomials and some consequences in average complexity. J. Symb. Comp.10, 405?409 (1989)","journal-title":"J. Symb. Comp."},{"key":"CR12","first-page":"103","volume":"32","author":"N. Fitchas","year":"1989","unstructured":"Fitchas, N., Galligo, A., Morgenstern, J.: Algorithmes rapides en sequentiel et en parall\u00e9lle pour l'elimination des quantificateurs en G\u00e9ometrie Elementaire. S\u00e9minaire sur les Structures Alg\u00e9briques Ordonn\u00e9es. Publication Math\u00e9matiques de l'Universit\u00e9 Paris VII,32, 103?145 (1989)","journal-title":"S\u00e9minaire sur les Structures Alg\u00e9briques Ordonn\u00e9es. Publication Math\u00e9matiques de l'Universit\u00e9 Paris VII"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"von zur Gathen, J.: Parallel arithmetic computations: a survey. Proc. 13th Conf. MFCS. LNCS vol.233, pp. 93?112. Berlin, Heidelberg, New York: Springer","DOI":"10.1007\/BFb0016236"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez, L., Lombardi, H., Recio, T., Roy, M.-F.: Sturm-Habicht sequence. Proceedings of the ISSAC-89, Portland, 136?145 (1989)","DOI":"10.1145\/74540.74558"},{"key":"CR15","first-page":"561","volume":"24","author":"L. Gonz\u00e1lez","year":"1990","unstructured":"Gonz\u00e1lez, L., Lombardi, H., Recio, T., Roy, M.-F.: Sous-r\u00e9sultants et sp\u00e9cialisation de la suite de Sturm I et II. I: Informatique Th\u00e9orique Applications24, 561?588 (1990); II: to appear in Informatique Th\u00e9orique et Applications","journal-title":"I: Informatique Th\u00e9orique Applications"},{"key":"CR16","first-page":"293","volume-title":"Proceedings of the IFIP'89","author":"J. Heintz","year":"1989","unstructured":"Heintz, J., Roy, M.-F., Solerno, P.: On the complexity of semialgebraic sets. Proceedings of the IFIP'89, San Francisco. North-Holland, 293?298 (1989)"},{"key":"CR17","first-page":"94","volume":"26","author":"E. I. Korkina","year":"1985","unstructured":"Korkina, E. I., Kushnirenko, A. G.: Another proof of the Tarski-Seidemberg theorem. Translated from Sibirskij Matematicheskij Zhurnal26, 94?98 (1985)","journal-title":"Translated from Sibirskij Matematicheskij Zhurnal"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"Mishra, B., Pedersen, P.: Arithmetic with real algebraic numbers is inNC. Proceedings of ISSAC-90, 120?126 (1990)","DOI":"10.1145\/96877.96909"},{"key":"CR19","unstructured":"Pedersen, P.: Counting Real Zeros, thesis, New York University, NYU Technical Report 545-R243 (1991)"},{"key":"CR20","unstructured":"Pedersen, P., Roy, M.-F., Szpirglas, A.: Counting Real Zeros in the multivariate case, to appear in MEGA 92"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Pippenger, N.: On simultaneous resource bounds. Proceedings of 20th Found, of Comp. Sci., pp. 307?311, 1979","DOI":"10.1109\/SFCS.1979.29"},{"key":"CR22","first-page":"17","volume":"192","author":"M.-F. Roy","year":"1990","unstructured":"Roy, M.-F.: Computation of the topology of a real algebraic curve. Proceedings of the Conference on Computational geometry and topology. Ast\u00e9risque192, 17?33 (1990)","journal-title":"Proceedings of the Conference on Computational geometry and topology. Ast\u00e9risque"},{"key":"CR23","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0747-7171(08)80035-1","volume":"10","author":"M.-F. Roy","year":"1990","unstructured":"Roy, M.-F., Szpirglas, A.: Complexity of computations on real algebraic numbers. J. Symb. Comp.10, 39?51 (1990)","journal-title":"J. Symb. Comp."},{"key":"CR24","unstructured":"Sylvester, J. T.: On a theory of syzygetic relations of two rational integral functions, comprising an application to the theory of Sturm's function. Trans. R. Soc. London, 429?586 (1853)"}],"container-title":["Applicable Algebra in Engineering, Communication and Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01387193\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01387193.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01387193\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01387193","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T16:31:42Z","timestamp":1586190702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01387193"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,6]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1992,6]]}},"alternative-id":["BF01387193"],"URL":"https:\/\/doi.org\/10.1007\/bf01387193","relation":{},"ISSN":["0938-1279","1432-0622"],"issn-type":[{"value":"0938-1279","type":"print"},{"value":"1432-0622","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,6]]}}}