About: Computable analysis

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Study of mathematical analysis from the perspective of computability theory

Property	Value
dbo:description	analyse mathématique basée sur la théorie de la calculabilité (fr) estudio de análisis matemático desde la perspectiva de la teoría de computabilidad (es) study of mathematical analysis from the perspective of computability theory (en)
dbo:wikiPageExternalLink	http://cca-net.de/
dbo:wikiPageWikiLink	dbr:Total_function dbr:Decidability_(logic) dbr:Hausdorff_space dbr:Heine–Borel_theorem dbr:Integral dbr:L._E._J._Brouwer dbr:Computability dbr:Mathematics dbr:Computable_function dbc:Computability_theory dbr:Computer_science dbr:Mathematical_analysis dbr:Turing_machine dbr:Functional_analysis dbr:Numerical_analysis dbr:Complex_analysis dbr:Continuous_function dbr:Cauchy's_integral_formula dbr:Differential_calculus dbr:Real_analysis dbr:Errett_Bishop dbr:Computability_in_Analysis_and_Physics dbr:Real_closed_field dbr:Stephen_Cole_Kleene dbr:Constructive_analysis dbr:Marian_Pour-El dbr:Extreme_value_theorem dbr:Discrete_space dbr:Riemann_integral dbr:Steve_Simpson_(mathematician) dbr:Constructive_logic dbr:General_topology dbr:Computability_theory dbr:Equality_(mathematics) dbr:Discontinuous_linear_map dbr:Topos dbr:Specker_sequence dbr:Uniform_norm dbr:Partial_function dbr:Numerical_differentiation dbr:Modulus_of_continuity dbc:Constructivism_(mathematics) dbc:Computable_analysis dbr:McGraw-Hill dbr:Springer-Verlag dbr:Complex_functions dbr:Compactness dbr:Closed_sets dbr:Real_functions dbr:Computable_numbers dbr:Open_sets dbr:Uniformly_continuous dbr:Semidecidable
dbp:wikiPageUsesTemplate	dbt:Isbn dbt:No_footnotes dbt:Reflist dbt:Section_link
dct:subject	dbc:Computability_theory dbc:Constructivism_(mathematics) dbc:Computable_analysis
gold:hypernym	dbr:Study
rdfs:label	Computable analysis (en) 計算可能解析学 (ja)
owl:sameAs	freebase:Computable analysis wikidata:Computable analysis dbpedia-ja:Computable analysis dbpedia-global:Computable analysis
prov:wasDerivedFrom	wikipedia-en:Computable_analysis?oldid=1299213915&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Computable_analysis
is dbo:wikiPageWikiLink of	dbr:Constructive_set_theory dbr:Mandelbrot_set dbr:Mathematical_analysis dbr:Modulus_of_convergence dbr:Indecomposability_(intuitionistic_logic) dbr:Computability_in_Analysis_and_Physics dbr:QR_algorithm dbr:Computable_number dbr:Constructive_analysis dbr:Marian_Pour-El dbr:Reverse_mathematics dbr:Computable_measure_theory dbr:History_of_logic dbr:Specker_sequence dbr:Andrzej_Grzegorczyk dbr:List_of_computability_and_complexity_topics dbr:Glossary_of_areas_of_mathematics dbr:Weihrauch_reducibility
is foaf:primaryTopic of	wikipedia-en:Computable_analysis