This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations.(July 2021) (Learn how and when to remove this message)
In mathematics and computer science, computable analysis is the study of mathematical analysis from the perspective of computability theory. It is concerned with the parts of real analysis and functional analysis that can be carried out in a computable manner. The field is closely related to constructive analysis and numerical analysis.
A notable result is that integration (in the sense of the Riemann integral) is computable.[1] This might be considered surprising as an integral is (loosely speaking) an infinite sum. While this result could be explained by the fact that every computable function from to is uniformly continuous, the notable thing is that the modulus of continuity can always be computed without being explicitly given. A similarly surprising fact is that differentiation of complex functions is also computable,[2] while the same result is false for real functions.[3]
The above motivating results have no counterpart in Bishop's constructive analysis. Instead, it is the stronger form of constructive analysis developed by Brouwer that provides a counterpart in constructive logic.
^See Simpson, Alex K. (1998), Brim, Luboš; Gruska, Jozef; Zlatuška, Jiří (eds.), "Lazy functional algorithms for exact real functionals", Mathematical Foundations of Computer Science 1998, Lecture Notes in Computer Science, vol. 1450, Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 456–464, doi:10.1007/bfb0055795, ISBN 978-3-540-64827-7
^by Cauchy's integral formula.
^because discontinuous operators are automatically uncomputable.
and 28 Related for: Computable analysis information
mathematics and computer science, computableanalysis is the study of mathematical analysis from the perspective of computability theory. It is concerned with...
recursive numbers, effective numbers or the computable reals or recursive reals. The concept of a computable real number was introduced by Emile Borel in...
computable objects. After an initial section of the book, introducing computableanalysis and leading up to an example of John Myhill of a computable...
computation that has ever been imagined can compute only computable functions, and all computable functions can be computed by any of several models of computation...
In mathematics, computable measure theory is the part of computableanalysis that deals with effective versions of measure theory. Jeremy Avigad (2012)...
and infinitely large numbers. Computableanalysis, the study of which parts of analysis can be carried out in a computable manner. Stochastic calculus –...
not a computable real number. The proof uses a particular fact about computable real numbers. If x were computable then there would be a computable function...
many results in reverse mathematics have corresponding results in computableanalysis. In higher-order reverse mathematics, the focus is on subsystems...
specifically computability and set theory, an ordinal α {\displaystyle \alpha } is said to be computable or recursive if there is a computable well-ordering...
is unknown whether the Mandelbrot set is computable in models of real computation based on computableanalysis, which correspond more closely to the intuitive...
Church–Turing thesis, which states that any function that is computable by an algorithm is a computable function. Although initially skeptical, by 1946 Gödel...
sequence converges. These moduli are often employed in the study of computableanalysis and constructive mathematics. If a sequence of real numbers x i {\displaystyle...
which is not computable is called noncomputable or undecidable. A more general class of sets than the computable ones consists of the computably enumerable...
Computable general equilibrium (CGE) models are a class of economic models that use actual economic data to estimate how an economy might react to changes...
Enumerability: The set S is the range of a partial computable function. The set S is the range of a total computable function, or empty. If S is infinite, the...
Principal component analysis (PCA) is a linear dimensionality reduction technique with applications in exploratory data analysis, visualization and data...
computability theory, a function f : R → R {\displaystyle f\colon \mathbb {R} \to \mathbb {R} } is sequentially computable if, for every computable sequence...
Indecomposability (intuitionistic logic), a principle in constructive analysis and in computableanalysis Indecomposability of a polynomial in polynomial decomposition...
Multiple-agent system Parameterized complexity Process calculi Pi-calculus Hypercomputation Real computation Computableanalysis Weihrauch reducibility...
eigenvector of a symmetric matrix is not computable (in exact real arithmetic according to the definitions in computableanalysis). This difficulty exists whenever...
ComputableAnalysis. O. Bournez; M. L. Campagnolo; D. S. Graça & E. Hainry (Jun 2007). "Polynomial differential equations compute all real computable...
aircraft and ships. Structural analysis uses ideas from applied mechanics, materials science and applied mathematics to compute a structure's deformations...
and E. Hainry. Polynomial differential equations compute all real computable functions on computable compact intervals. Journal of Complexity, 23:317–335...
Computable Document Format (CDF) is an electronic document format designed to allow authoring dynamically generated, interactive content. CDF was created...
in the model of Turing machines as the model of programs implementing computable functions would have the goal of deciding whether a given Turing machine...
random sample, the following steps are carried out for the ABC analysis. Step 1: Compute the annual usage value for every item in the sample by multiplying...
space that has a computable presentation. Such spaces are studied in effective descriptive set theory and in constructive analysis. In particular, standard...
business and even the arts. Current growth in computing power has enabled the use of more complex numerical analysis, providing detailed and realistic mathematical...