Search results

...mathematics]], '''computable measure theory''' is the part of [[computable analysis]] that deals with effective versions of [[measure theory]]. * Abbas Edalat (2009), "A computable approach to measure and integration theory", ''Information and Computation' ...

...sive''' if there is a [[Computable set|computable]] [[well-order]]ing of a computable [[subset]] of the [[natural numbers]] having the [[order type]] <math>\alph ...computable ordinal is computable, and the [[Set (mathematics)|set]] of all computable ordinals is [[closure (mathematics)|closed]] downwards. ...

...tionistic logic)]], a principle in constructive analysis and in computable analysis ...

== Functions computable by total Turing machines == {{main article|Computable function}} ...

...Polynomial differential equations compute all real computable functions on computable compact intervals|journal=Journal of Complexity|volume=23|issue=3|pages=317 ...

...putable complete set of invariants|reason=Shouldn't this be "finite set of computable invariants"? Computability (whatever this is supposed to mean on a set of f ==Analysis== ...

...f(x) \in B</math>. A one-one reduction is an injective reduction, and a [[computable isomorphism]] is a bijective reduction. ...ty theory)|total numberings]] are one-equivalent if and only if they are [[computable isomorphism|recursively isomorphic]]. ...

...computed to arbitrary precision, while [[almost every]] real number is not computable.]] In [[mathematics]], '''computable numbers''' are the [[real number]]s that can be computed to within any desi ...

*[[Computable number]] *[[Amortized analysis]] ...

...pt for the one change at a time being analyzed. In [[general equilibrium]] analysis, on the other hand, the prices and quantities of all markets in the economy ...icroeconomic Theory'', Oxford University Press. </ref> General equilibrium analysis, in contrast, begins with tastes, endowments, and technology being fixed, b ...

| name = Global Trade Analysis Project (GTAP) ...= To provide leadership in [[Economic impact analysis|economic policy analysis]] by fostering collaboration to achieve better data and research outcomes. ...

*[[Chip Description File]], a genomic analysis file format *[[Computable Document Format]], a format for interactive data visualizations ...

...function]] and its [[non-computable function|non-computability]] ("On Non-Computable Functions"). *with Paul V. Reichelderfer ''Continuous transformations in analysis - with an introduction to algebraic topology'', Springer 1955 ...

...infinite path can be identified with a total function. This allows for an analysis using the techniques of computability theory. .../math> is computable the set <math>\operatorname{Ext}(T)</math> may not be computable. Whenever a subtree <math>T</math> of ...

...lysis. Social Accounting Matrices (SAMs) were similarly a mainstay of Bank analysis, which had been adopted as a presentational device by the CGE modelers" (Mi SAMs form the backbone of [[computable general equilibrium]] (CGE) Models and various types of empirical multiplie ...

...are studied in both effective descriptive set theory and in [[constructive analysis]]. In particular, standard examples of Polish spaces such as the [[real l ...

...aching implications on the feasibility of [[static program analysis|static analysis]] of programs. It implies that it is impossible, for example, to implement ...uts a theoretical bound on which types of [[static program analysis|static analysis]] can be performed automatically. One can distinguish between the [[syntax ...

*[[Arithmetization of analysis]] *[[Computable model theory]] ...

In [[proof theory]], '''ludics''' is an analysis of the principles governing [[inference rule]]s of [[mathematical logic]]. ...ve content. For example, a realizer for the proposition "A implies B" is a computable function that takes a realizer for A, and uses it to compute a realizer for ...

...ibrium Modelling PACKage''') is a [[computer model|modeling]] system for [[computable general equilibrium|CGE]] economic models, used at the Centre of Policy Stu ...constructed from a table of transaction values (such as an [[input-output analysis|input-output table]] or a [[social accounting matrix]]) that satisfies cert ...