Computable Analysis

← Back to Domain-Specific Abstractions by Domain

2 domain-specific abstractions whose origin domain is Computable Analysis.

• Computable real function — A real-valued function for which arbitrarily accurate output approximations can be generated effectively from arbitrarily accurate representations of its real inputs.
• Effective Polish space — A complete separable metric space supplied with a computable dense presentation that makes basic distance comparisons effectively decidable or enumerable.