Aberth, Oliver Computable analysis. (English) Zbl 0461.03015 New York etc.: McGraw-Hill International Book Company. XI, 187 p. DM 69.33 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 6 ReviewsCited in 47 Documents MSC: 03F60 Constructive and recursive analysis 26-04 Software, source code, etc. for problems pertaining to real functions 30-04 Software, source code, etc. for problems pertaining to functions of a complex variable 26-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to real functions 30-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to functions of a complex variable 03-01 Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations Keywords:numerical computation; programs; non-existence of decision procedures PDF BibTeX XML