Computational Models For Feasible Real Analysis
- 1 January 1990
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- On the Complexity of Familiar Functions and NumbersSIAM Review, 1988
- Algebraic Complexity TheoryAnnual Review of Computer Science, 1988
- Constructive AnalysisPublished by Springer Nature ,1985
- The computational complexity of maximization and integrationAdvances in Mathematics, 1984
- Some negative results on the computational complexity of total variation and differentiationInformation and Control, 1982
- The maximum value problem and NP real numbersJournal of Computer and System Sciences, 1982
- The failure in computable analysis of a classical existence theorem for differential equationsProceedings of the American Mathematical Society, 1971
- The concept of effective method applied to computational problems of linear algebraJournal of Computer and System Sciences, 1971
- Analysis in the Computable Number FieldJournal of the ACM, 1968
- On the definitions of computable real continuous functionsFundamenta Mathematicae, 1957