Search Results for ""

A reciprocity theorem for the case n=3 solved by Gauss using "integers" of the form a+brho, when rho is a root of x^2+x+1=0 (i.e., rho equals -(-1)^(1/3) or (-1)^(2/3)) and ...

A branch of game theory dealing with strategies to maximize the outcome of a given process in the face of uncertain conditions.

A formal argument in logic in which it is stated that 1. P=>Q and R=>S (where => means "implies"), and 2. Either not-Q or not-S is true, from which two statements it follows ...

Let s_b(n) be the sum of the base-b digits of n, and epsilon(n)=(-1)^(s_2(n)) the Thue-Morse sequence, then product_(n=0)^infty((2n+1)/(2n+2))^(epsilon(n))=1/2sqrt(2).

A lattice which satisfies the identities (x ^ y) v (x ^ z)=x ^ (y v z) (x v y) ^ (x v z)=x v (y ^ z) is said to be distributive.

Dual pairs of linear programs are in "strong duality" if both are possible. The theorem was first conceived by John von Neumann. The first written proof was an Air Force ...

Ellipsoidal calculus is a method for solving problems in control and estimation theory having unknown but bounded errors in terms of sets of approximating ellipsoidal-value ...

Given a Jacobi amplitude phi in an elliptic integral, the argument u is defined by the relation phi=am(u,k). It is related to the elliptic integral of the first kind F(u,k) ...

The question of whether a solution to a given problem exists. The existence problem can be solved in the affirmative without actually finding a solution to the original ...

The area of a rational right triangle cannot be a square number. This statement is equivalent to "a congruum cannot be a square number."