DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Computable analysis
Computable analysis
On the Topological Aspects of the Theory of Represented Spaces∗
Computability and Analysis: the Legacy of Alan Turing
From Constructive Mathematics to Computable Analysis Via the Realizability Interpretation
Computability & Complexity in Analysis Schedule
On the Complexity of Real Functions
Contribution of Warsaw Logicians to Computational Logic
Computable Analysis Over the Generalized Baire Space
Comparing Representations for Function Spaces in Computable Analysis
A Simple Introduction to Computable Analysis
The Representational Foundations of Computation
1. Introduction. the Computable Real Numbers Were Introduced in Alan Turing's Famous 1936 Paper
A Candidate for the Generalised Real Line
Computable Analysis with Applications to Dynamic Systems
Notes on Computable Analysis
Quantitative Continuity and Computable Analysis in Coq Florian Steinberg, Laurent Théry, Holger Thies
Title Computability in Some Fundamental Theorems in Functional Analysis and General Topology( Dissertation 全文 ) Author(S) Ka
Computable Analysis for Verified Exact Real Computation
Computability and Complexity in Analysis Schloß Dagstuhl, November 14–19, 1999
Top View
Computable Analysis and Effective Descriptive Set Theory
Computable Analysis and Blaschke Products 1
Computable Functional Analysis and Probabilistic Computation with Applications to Numerical Analysis
On the Weak Computability of Continuous Real Functions
Computable Analysis with Applications to Dynamic Systems
Quantitative Continuity and Computable Analysis In
Topological Analysis of Representations Mathieu Hoyrup
Invitation to Real Complexity Theory: Algorithmic Foundations to Reliable Numerics with Bit-Costs
Computable Analysis and Notions of Continuity in Coq