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:Numerical_differentiation dbr:Modulus_of_continuity dbr:Steve_Simpson_(mathematician) dbr:Differential_calculus dbc:Computability_theory dbr:Real_closed_field dbr:Numerical_analysis dbr:Real_analysis dbr:Decidability_(logic) dbr:Riemann_integral dbr:Errett_Bishop dbr:Topos dbr:Computable_function dbr:Specker_sequence dbr:Constructive_analysis dbr:Mathematics dbr:Complex_analysis dbr:Partial_function dbr:Uniform_norm dbr:General_topology dbr:Computability dbr:Computability_theory dbr:Mathematical_analysis dbr:Heine–Borel_theorem dbc:Constructivism_(mathematics) dbr:Constructive_logic dbr:Discrete_space dbr:Computer_science dbr:Integral dbr:Equality_(mathematics) dbr:Functional_analysis dbr:Stephen_Cole_Kleene dbr:Cauchy's_integral_formula dbr:L._E._J._Brouwer dbr:Extreme_value_theorem dbr:Continuous_function dbr:Turing_machine dbr:Hausdorff_space dbc:Computable_analysis dbr:Discontinuous_linear_map dbr:Complex_functions dbr:Springer-Verlag dbr:Marian_Pour-El dbr:Computability_in_Analysis_and_Physics dbr:Open_sets dbr:McGraw-Hill dbr:Total_function dbr:Real_functions dbr:Uniformly_continuous dbr:Closed_sets dbr:Compactness dbr:Computable_numbers dbr:Semidecidable
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:No_footnotes dbt:Section_link dbt:Isbn
dct:subject	dbc:Computability_theory dbc:Constructivism_(mathematics) dbc:Computable_analysis
gold:hypernym	dbr:Study
rdfs:label	Computable analysis (en) 計算可能解析学 (ja)
owl:sameAs	wikidata:Computable analysis dbpedia-ja:Computable analysis dbpedia-global:Computable analysis freebase:Computable analysis
prov:wasDerivedFrom	wikipedia-en:Computable_analysis?oldid=1286984223&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Computable_analysis
is dbo:wikiPageWikiLink of	dbr:List_of_computability_and_complexity_topics dbr:History_of_logic dbr:QR_algorithm dbr:Specker_sequence dbr:Constructive_analysis dbr:Mandelbrot_set dbr:Computable_number dbr:Mathematical_analysis dbr:Reverse_mathematics dbr:Glossary_of_areas_of_mathematics dbr:Modulus_of_convergence dbr:Indecomposability_(intuitionistic_logic) dbr:Andrzej_Grzegorczyk dbr:Computable_measure_theory dbr:Constructive_set_theory dbr:Weihrauch_reducibility dbr:Marian_Pour-El dbr:Computability_in_Analysis_and_Physics
is foaf:primaryTopic of	wikipedia-en:Computable_analysis