Search Results for ""

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."

The Garfield curve is the name sometimes given to the curve with polar equation r=thetacostheta when plotted from theta=-2pi to 2pi (Sisson and Szarvas 2016) because of its ...

A connection defined on a smooth algebraic variety defined over the complex numbers.