Search Results for ""

Consider a clause (disjunction of literals) obtained from those of a first-order logic formula Phi in Skolemized form forall x_1... forall x_nS. Then a literal obtained from ...

The largest unit fraction, 1/2. 1/2 is a rational number with terminating decimal expansion 0.5.

The Hall-Montgomery constant is related to the multiplicative spectrum of completely multiplicative functions and has closed form delta_0 = ...

A polygonal number of the form n(5n-3)/2. The first few are 1, 7, 18, 34, 55, 81, 112, ... (OEIS A000566). The generating function for the heptagonal numbers is ...

A pyramidal number of the form n(n+1)(5n-2)/6, The first few are 1, 8, 26, 60, 115, ... (OEIS A002413). The generating function for the heptagonal pyramidal numbers is ...

The heptanacci constant is the limiting ratio of adjacent heptanacci numbers. It is the algebraic number P = (x^7-x^6-x^5-x^4-x^3-x^2-x-1)_1 (1) = 1.99196419660... (2) (OEIS ...

A figurate number which is equal to the cubic number n^3. The first few are 1, 8, 27, 64, ... (OEIS A000578).

A pyramidal number of the form n(n+1)(4n-1)/6, The first few are 1, 7, 22, 50, 95, ... (OEIS A002412). The generating function of the hexagonal pyramidal numbers is ...

The hexanacci constant is the limiting ratio of adjacent hexanacci numbers. It is the algebraic number P = (x^6-x^5-x^4-x^3-x^2-x-1)_2 (1) = 1.98358284342... (2) (OEIS ...

The sequence defined by H(0)=0 and H(n)=n-H(H(H(n-1))). The first few terms are 1, 1, 2, 3, 4, 4, 5, 5, 6, 7, 7, 8, 9, 10, 10, 11, 12, 13, 13, 14, ... (OEIS A005374).