Search Results for ""

A formula of first-order logic is in prenex normal form if it is of the form Q_1x_1...Q_nx_nM, (1) where each Q_i is a quantifier forall ("for all") or exists ("exists") and ...

The Fibonacci cube graph of order n is a graph on F_(n+2) vertices, where F_n is a Fibonacci number, labeled by the Zeckendorf representations of the numbers 0 to F_(n+2)-1 ...

The orthotomic of the unit circle represented by x = cost (1) y = sint (2) with a source at (x,y) is x_o = xcos(2t)-ysin(2t)+2sint (3) y_o = -xsin(2t)-ycos(2t)+2cost. (4)

The involute of the cycloid x = a(t-sint) (1) y = a(1-cost) (2) is given by x_i = a(t+sint) (3) y_i = a(3+cost). (4) As can be seen in the above figure, the involute is ...

The radial curve of the deltoid x = 1/3a[2cost+cos(2t)] (1) y = 1/3a[2sint-sin(2t)] (2) with radiant point (x_0,y_0) is the trifolium x_r = x_0+4/3a[cost-cos(2t)] (3) y_r = ...

A plane curve given by the parametric equations x = cost (1) y = sintsin^m(1/2t). (2) The plots above show curves for values of m from 0 to 7. The teardrop curve has area ...

A finite field is a field with a finite field order (i.e., number of elements), also called a Galois field. The order of a finite field is always a prime or a power of a ...

A bimagic cube is a (normal) magic cube that remains magic when all its elements are squared. Of course, even a normal magic cubic becomes nonnormal (i.e., contains ...

A copositive matrix is a real n×n square matrix A=(a_(ij)) that makes the corresponding quadratic form f(x)=x^(T)Ax nonnegative for all nonnegative n-vectors x. Copositive ...

Let X be a set of urelements that contains the set N of natural numbers, and let V(X) be a superstructure whose individuals are in X. Let V(^*X) be an enlargement of V(X), ...