{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:54:33Z","timestamp":1725663273322},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540514985"},{"type":"electronic","value":"9783540481805"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51498-8_47","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:02:19Z","timestamp":1330185739000},"page":"480-493","source":"Crossref","is-referenced-by-count":1,"title":["Constructivity, computability, and computational complexity in analysis"],"prefix":"10.1007","author":[{"given":"Klaus","family":"Weihrauch","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"47_CR1","first-page":"139","volume":"49","author":"L. E. J. J. Brouwer","year":"1952","unstructured":"Brouwer, L.E.J.: Historical background, principles, and methods of intuitionism, South African J.Sc. 49, 139\u2013146 (1952)","journal-title":"South African J.Sc."},{"key":"47_CR2","volume-title":"Intuitionism, an introduction","author":"A. Heyting","year":"1956","unstructured":"Heyting, A.: Intuitionism, an introduction, North-Holland, Amsterdam, 1956 (revised 1972)"},{"key":"47_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0080643","volume-title":"Principles of intuitionism","author":"A. S. Troelstra","year":"1969","unstructured":"Troelstra, A.S.: Principles of intuitionism, Springer-Verlag, Berlin, Heidelberg, 1969"},{"key":"47_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E. Bishop","year":"1985","unstructured":"Bishop, E.; Bridges, D.S.: Constructive Analysis, Springer-Verlag, Berlin, Heidelberg, 1985"},{"key":"47_CR5","first-page":"49","volume":"128","author":"G. S. Ceitin","year":"1959","unstructured":"Ceitin, G.S.: Algorithmic operators in constructive complete separable metric spaces (in Russian), Doklady Akad, Nauk 128, 49\u201352 (1959)","journal-title":"Doklady Akad, Nauk"},{"key":"47_CR6","first-page":"8","volume":"67","author":"A. A. Markov","year":"1962","unstructured":"Markov, A.A.: On constructive mathematics (in Russian), Trudy Mat. Inst. Stektov 67, 8\u201314 (1962)","journal-title":"Trudy Mat. Inst. Stektov"},{"key":"47_CR7","volume-title":"Lectures on constructive mathematical logic and foundations of mathematics, Izdat","author":"B. A. Kushner","year":"1973","unstructured":"Kushner, B.A.: Lectures on constructive mathematical logic and foundations of mathematics, Izdat. \u201cNauka\u201d, Moscow, (1973)"},{"key":"47_CR8","volume-title":"Computable analysis","author":"O. Aberth","year":"1980","unstructured":"Aberth, O.: Computable analysis, McGraw-Hill, New York, (1980)"},{"key":"47_CR9","unstructured":"Mazur, S.: Computable analysis, Rozprawy Matematyczne XXXIII (1963)"},{"key":"47_CR10","doi-asserted-by":"crossref","first-page":"61","DOI":"10.4064\/fm-44-1-61-71","volume":"44","author":"A. Grzegorczyk","year":"1957","unstructured":"Grzegorczyk, A.: On the definition of computable real continuous functions, Fund.Math. 44, 61\u201371 (1957)","journal-title":"Fund.Math."},{"key":"47_CR11","doi-asserted-by":"crossref","first-page":"37","DOI":"10.4064\/fm-44-1-37-51","volume":"44","author":"A. Mostowski","year":"1955","unstructured":"Mostowski, A.: On computable sequences, Fund.Math. 44, 37\u201351 (1955)","journal-title":"Fund.Math."},{"key":"47_CR12","volume-title":"Constructivity in mathematics","author":"D. Lacombe","year":"1959","unstructured":"Lacombe, D.: Quelques procedes de definition en topologie recursive. In: Constructivity in mathematics (A. Heyting, ed.), North-Holland, Amsterdam,1959"},{"key":"47_CR13","volume-title":"Konstruktive Analysis","author":"D. Klaua","year":"1961","unstructured":"Klaua, D.: Konstruktive Analysis, Deutscher Verlag der Wissenschaften, Berlin, 1961"},{"key":"47_CR14","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1002\/malq.19730190804","volume":"19","author":"J. Hauck","year":"1973","unstructured":"Hauck, J.: Berechenbare reelle Funktionen, Zeitschrift f. math. Logik und Grdl. Math. 19, 121\u2013140 (1973)","journal-title":"Zeitschrift f. math. Logik und Grdl. Math."},{"key":"47_CR15","unstructured":"Scott, D.: Outline of a mathematical theory of computation Science, Proc. 4th Princeton Conference onInform. Sci., 1970"},{"key":"47_CR16","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1145\/321941.321944","volume":"23","author":"R. P. Brent","year":"1976","unstructured":"Brent, R.P.: Fast multiple precision evaluation of elementary functions, J. ACM 23, 242\u2013251 (1976)","journal-title":"J. ACM"},{"key":"47_CR17","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/S0304-3975(82)80003-0","volume":"20","author":"K. Ko","year":"1982","unstructured":"Ko, K.; Friedman, H.: Computational complexity of real functions, Theoret. Comput. Sci. 20, 323\u2013352 (1982)","journal-title":"Theoret. Comput. Sci."},{"key":"47_CR18","series-title":"Lecture notes in Computer Science","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1007\/3-540-16761-7_78","volume-title":"Subpolynomial complexity classes of real functions and real numbers","author":"N. Th. M\u00fcller","year":"1986","unstructured":"M\u00fcller, N.Th.: Subpolynomial complexity classes of real functions and real numbers. In: Lecture notes in Computer Science 226, Springer-Verlag, Berlin, Heidelberg, 284\u2013293, 1986"},{"key":"47_CR19","series-title":"Lecture notes in Computer Science","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1007\/3-540-18088-5_37","volume-title":"Uniform computational complexity of Taylor series","author":"N. Th. M\u00fcller","year":"1987","unstructured":"M\u00fcller, N.Th.: Uniform computational complexity of Taylor series. In: Lecture notes in Computer Science 267, Springer-Verlag, Berlin, Heidelberg, 435\u2013444, 1987"},{"key":"47_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of constructive mathematics","author":"M. J. Beeson","year":"1985","unstructured":"Beeson, M.J.: Foundations of constructive mathematics, Springer-Verlag, Berlin, Heidelberg, 1985"},{"key":"47_CR21","first-page":"29","volume":"36","author":"Ch. Kreitz","year":"1987","unstructured":"Kreitz, Ch.; Weihrauch, K.: Compactness in constructive analysis revisited, Informatik-Berichte Nr. 49, Fernuniversit\u00e4t Hagen (1984) and Annals of Pure and Applied Logic 36, 29\u201338 (1987)","journal-title":"Compactness in constructive analysis revisited, Informatik-Berichte Nr. 49, Fernuniversit\u00e4t Hagen (1984) and Annals of Pure and Applied Logic"},{"key":"47_CR22","volume-title":"Computation and proof theory","author":"Ch. Kreitz","year":"1984","unstructured":"Kreitz, Ch.; Weihrauch, K.: A unified approach to constructive and recursive analysis. In: Computation and proof theory, (M.M. Richter et al., eds.), Springer-Verlag, Berlin, Heidelberg, 1984"},{"key":"47_CR23","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(85)90208-7","volume":"38","author":"Ch. Kreitz","year":"1985","unstructured":"Kreitz, Ch.; Weihrauch, K.: Theory of representations, Theoretical Computer Science 38, 35\u201353 (1985)","journal-title":"Theoretical Computer Science"},{"key":"47_CR24","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0304-3975(85)90207-5","volume":"38","author":"K. Weihrauch","year":"1985","unstructured":"Weihrauch, K.: Type 2 recursion theory, Theoretical Computer Science 38, 17\u201333 (1985)","journal-title":"Theoretical Computer Science"},{"key":"47_CR25","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1016\/0168-0072(87)90065-0","volume":"35","author":"K. Weihrauch","year":"1987","unstructured":"Weihrauch, K.; Kreitz, Ch.: Representations of the real numbers and of the open subsets of the set of real numbers, Annals of Pure and Applied Logic 35, 247\u2013260 (1987)","journal-title":"Annals of Pure and Applied Logic"},{"key":"47_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69965-8","volume-title":"Computability","author":"K. Weihrauch","year":"1987","unstructured":"Weihrauch, K.: Computability, Springer-Verlag, Berlin, Heidelberg, 1987"},{"key":"47_CR27","unstructured":"Weihrauch, K.: On natural numberings and representations, Informatik-Berichte Nr.29, Fernuniversit\u00e4t Hagen, 1982"},{"key":"47_CR28","unstructured":"Weihrauch, K.; Kreitz, Ch.: Type 2 computational complexity of functions on Cantor's space (to appear)"},{"key":"47_CR29","unstructured":"Weihrauch, K.: Towards a general effectivity theory for computable metric spaces (to appear)"},{"key":"47_CR30","unstructured":"Weihrauch, K.: The complexity of online computations of real functions (in preparation)"},{"key":"47_CR31","unstructured":"Deil, Th.: Darstellungen und Berechenbarkeit reeller Zahlen, Informatik-Berichte Nr.51, Fernuniversit\u00e4t Hagen, 1984"},{"key":"47_CR32","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12898-5","volume-title":"Recursion-theoretic Hierachies","author":"P. G. Hinman","year":"1978","unstructured":"Hinman, P.G.: Recursion-theoretic Hierachies, Springer-Verlag, Berlin, Heidelberg, 1978"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51498-8_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:03:41Z","timestamp":1619557421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51498-8_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540514985","9783540481805"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-51498-8_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}