{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:25:37Z","timestamp":1725456337277},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634379"},{"type":"electronic","value":"9783540695479"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0029983","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T06:24:59Z","timestamp":1133418299000},"page":"398-407","source":"Crossref","is-referenced-by-count":2,"title":["Counting problems over the reals"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Meer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"40_CR1","unstructured":"Allgower, E.L., Georg, K.: Continuation and Path Following. Acta Numerica. (1992) 1\u201364"},{"key":"40_CR2","unstructured":"Benedetti, R., Risler, J.J.: Real algebraic and semi-algebraic sets. Hermann (1990)"},{"key":"40_CR3","unstructured":"Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer-Verlag (to appear)"},{"key":"40_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0273-0979-1989-15750-9","volume":"21","author":"L. Blum","year":"1989","unstructured":"Blum, L., Shub, M., Smale, S.: On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Bulletin American Mathematical Society 21 (1989) 1\u201346","journal-title":"Bulletin American Mathematical Society"},{"key":"40_CR5","unstructured":"Compton, K.J., Gr\u00e4del, E.: Logical Definability of Counting Functions Proceedings of IEEE Conference on Structure in Complexity Theory (1994) 255\u2013266"},{"key":"40_CR6","doi-asserted-by":"crossref","unstructured":"Cucker, F.:, Meer, K.: Logics which capture complexity classes over the reals. Extended abstract to appear in: Proc. 11th International Symposium on Fundamentals of Computation Theory Krakow, Lecture Notes in Computer Science, Springer 1997","DOI":"10.1007\/BFb0036180"},{"key":"40_CR7","doi-asserted-by":"crossref","unstructured":"Ebbinghaus, H.D., Flum, J.: Finite Model Theory. Springer-Verlag (1995)","DOI":"10.1007\/3-540-28788-4"},{"key":"40_CR8","first-page":"43","volume":"7","author":"R. Fagin","year":"1974","unstructured":"Fagin, R.: Generalized first-order spectra and polynomial-time recognizable sets. SIAM-AMS Proc. 7 (1974) 43\u201373","journal-title":"SIAM-AMS Proc."},{"key":"40_CR9","unstructured":"Gr\u00e4del, E., Meer, K.: Descriptive complexity theory over the real numbers. In J. Renegar, M. Shub, and S. Smale (editors): The Mathematics of Numerical Analysis, Lectures in Applied Mathematics 32, American Mathematical Society (1996) 381\u2013404"},{"key":"40_CR10","first-page":"293","volume-title":"Proceedings IFIP 1989","author":"J. Heintz","year":"1989","unstructured":"Heintz, J., Roy, M.F., Solerno, P.: On the complexity of semialgebraic sets. Proceedings IFIP 1989, San Francisco, North-Holland (1989) 293\u2013298"},{"key":"40_CR11","first-page":"11","volume":"508","author":"J. Heintz","year":"1990","unstructured":"Heintz, J., Krick, T., Roy, M.F., Solerno, P.: Geometric Problems solvable in single exponential time. In: Proc. 8th Conference AAECC, LNCS 508 (1990) 11\u201323","journal-title":"In: Proc. 8th Conference AAECC, LNCS"},{"key":"40_CR12","doi-asserted-by":"crossref","first-page":"113","DOI":"10.36045\/bbms\/1105730626","volume":"4","author":"K. Meer","year":"1997","unstructured":"Meer, K., Michaux, C.: A survey on real structural complexity theory. Bulletin of the Belgian Math. Soc. Simon Stevin 4 (1997) 113\u2013148","journal-title":"Bulletin of the Belgian Math. Soc. Simon Stevin"},{"key":"40_CR13","first-page":"318","volume":"539","author":"P. Pedersen","year":"1991","unstructured":"Pedersen, P.: Multivariate Sturm theory. In: Proc. 9th Conference AAECC, LNCS 539 (1991) 318\u2013331","journal-title":"Proc. 9th Conference AAECC, LNCS"},{"key":"40_CR14","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/S0747-7171(10)80003-3","volume":"13","author":"J. Renegar","year":"1992","unstructured":"Renegar, J.: On the computational Complexity and Geometry of the first-order Theory of the Reals, I-III. Journal of Symbolic Computation 13 (1992) 255\u2013352","journal-title":"Journal of Symbolic Computation"},{"key":"40_CR15","doi-asserted-by":"crossref","unstructured":"Saluja, S., Subrahmanyam, K.V., Thakur, M.N.: Descriptive Complexity of #P Functions. In Proc. 7th IEEE Symposium on Structure in Complexity Theory (1992) 169\u2013184","DOI":"10.1109\/SCT.1992.215392"},{"key":"40_CR16","first-page":"459","volume":"6","author":"M. Shub","year":"1993","unstructured":"Shub, M., Smale, S.: Complexity of Bezout's Theorem I: Geometric aspects. Journal of the AMS 6 (1993) 459\u2013501","journal-title":"Journal of the AMS"},{"key":"40_CR17","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0304-3975(79)90044-6","volume":"8","author":"L. Valiant","year":"1979","unstructured":"Valiant, L.: The complexity of computing the permanent. Theoretical Computer Science 8 (1979) 189\u2013201","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1997"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0029983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T08:22:26Z","timestamp":1586593346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029983"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634379","9783540695479"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0029983","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}