Search Results for ""

A proposition which is consistent with known data, but has neither been verified nor shown to be false. It is synonymous with hypothesis.

A function f(x) is said to be constructible if some algorithm F computes it, in binary, within volume O(f(x)), i.e., V_(F(x))=O(f(x)). Here, the volume V_(A(x)) is the ...

The look and say sequence generated from a starting digit of 3, as given by Vardi (1991).

A function that joins univariate distribution functions to form multivariate distribution functions. A two-dimensional copula is a function C:I^2->I such that C(0,t)=C(t,0)=0 ...

Let n objects be picked repeatedly with probability p_i that object i is picked on a given try, with sum_(i)p_i=1. Find the earliest time at which all n objects have been ...

The Cox configuration is a (2^(d-1))_d configuration whose Levi graph is the d-hypercube graph.

An entire Cremona transformation is a birational transformation of the plane. Cremona transformations are maps of the form x_(i+1) = f(x_i,y_i) (1) y_(i+1) = g(x_i,y_i), (2) ...

If there is an integer x such that x^3=q (mod p), then q is said to be a cubic residue (mod p). If not, q is said to be a cubic nonresidue (mod p).

One of the Plücker characteristics, defined by p=1/2(n-1)(n-2)-(delta+kappa)=1/2(m-1)(m-2)-(tau+iota), where m is the class, n the order, delta the number of nodes, kappa the ...

Deduction is the process of drawing conclusions from premises and syllogisms.