definitions of a time-constructible function. In the first definition, a function f {\displaystyle f} is called time-constructible if there exists a Turing...

In mathematics, in set theory, the constructible universe (or Gödel's constructible universe), denoted by L , {\displaystyle L,} is a particular class...

is constructible if any root of the nth cyclotomic polynomial is constructible. Restating the Gauss–Wantzel theorem: A regular n-gon is constructible with...

coordinate system, a point is constructible if and only if its Cartesian coordinates are both constructible numbers. Constructible numbers and points have also...

The axiom of constructibility is a possible axiom for set theory in mathematics that asserts that every set is constructible. The axiom is usually written...

B over A Constructible universe, Kurt Gödel's model L of set theory, constructed by transfinite recursion Constructible function, a function whose values...

notion of a time-constructible function. A function f : N → N {\displaystyle f:\mathbb {N} \rightarrow \mathbb {N} } is time-constructible if there exists...

assumed. □ The above theorem implies the necessity of the space-constructible function assumption in the space hierarchy theorem. L = DSPACE(O(log n))...

common functions that we work with are space-constructible, including polynomials, exponents, and logarithms. For every space-constructible function f :...

In algebraic geometry, the Behrend function of a scheme X, introduced by Kai Behrend, is a constructible function ν X : X → Z {\displaystyle \nu _{X}:X\to...

The gamma function then is defined in the complex plane as the analytic continuation of this integral function: it is a meromorphic function which is holomorphic...

sorted array sorted list sort in-place sort merge soundex space-constructible function spanning tree sparse graph sparse matrix sparsification sparsity...

mathematical analysis, the Dirac delta function (or δ distribution), also known as the unit impulse, is a generalized function on the real numbers, whose value...

mathematics, a function from a set X to a set Y assigns to each element of X exactly one element of Y. The set X is called the domain of the function and the...

optimization and decision theory, a loss function or cost function (sometimes also called an error function) is a function that maps an event or values of one...

NTIME is also related to DSPACE in the following way. For any time constructible function t(n), we have N T I M E ( t ( n ) ) ⊆ D S P A C E ( t ( n ) ) {\displaystyle...

In quantum physics, a wave function (or wavefunction) is a mathematical description of the quantum state of an isolated quantum system. The most common...

cumulative distribution function (CDF) of a real-valued random variable X {\displaystyle X} , or just distribution function of X {\displaystyle X} ,...

The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter ζ (zeta), is a mathematical function of a complex variable defined...

all prime numbers, the set of all rational numbers, the set of all constructible numbers (in the geometric sense), the set of all algebraic numbers,...

processing and statistics, a window function (also known as an apodization function or tapering function) is a mathematical function that is zero-valued outside...

A hash function is any function that can be used to map data of arbitrary size to fixed-size values, though there are some hash functions that support...

The function assigning to α {\displaystyle \alpha } the α {\displaystyle \alpha } th level L α {\displaystyle L_{\alpha }} of Godel's constructible hierarchy...

mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of...

In mathematics, a Green's function (or Green function) is the impulse response of an inhomogeneous linear differential operator defined on a domain with...

of x to base b, written logb x, so log10 1000 = 3. As a single-variable function, the logarithm to base b is the inverse of exponentiation with base b....

Retrieved 7 July 2022. Green recursively constructs machines for any number of states and provides the recursive function that computes their score (computes...

formula 7.2) extended the formula to constructible sheaves over a curve (Raynaud 1965). Suppose that F is a constructible sheaf over a genus g smooth projective...

set theory (with or without the axiom of choice), by developing the constructible universe of set theory in which the continuum hypothesis must hold....

as λ-calculus) is a formal system for expressing computation based on function abstraction and application using variable binding and substitution. Untyped...