Search Results for ""

Let A denote an R-algebra, so that A is a vector space over R and A×A->A (1) (x,y)|->x·y, (2) where x·y is vector multiplication which is assumed to be bilinear. Now define ...

Let h:{0,1}^(l(n))×{0,1}^n->{0,1}^(m(n)) be efficiently computable by an algorithm (solving a P-problem). For fixed y in {0,1}^(l(n)), view h(x,y) as a function h_y(x) of x ...

Let a triangle have angles A, B, and C, then inequalities include sinA+sinB+sinC<=3/2sqrt(3) (1) 1<=cosA+cosB+cosC<=3/2 (2) sin(1/2A)sin(1/2B)sin(1/2C)<=1/8 (3) ...

In simple terms, let x, y, and z be members of an algebra. Then the algebra is said to be associative if x·(y·z)=(x·y)·z, (1) where · denotes multiplication. More formally, ...

If k is the elliptic modulus of an elliptic integral or elliptic function, then k^'=sqrt(1-k^2) (1) is called the complementary modulus. Complete elliptic integrals with ...

The functions E_1(x) = (x^2e^x)/((e^x-1)^2) (1) E_2(x) = x/(e^x-1) (2) E_3(x) = ln(1-e^(-x)) (3) E_4(x) = x/(e^x-1)-ln(1-e^(-x)). (4) E_1(x) has an inflection point at (5) ...

If g is a continuous function g(x) in [a,b] for all x in [a,b], then g has a fixed point in [a,b]. This can be proven by supposing that g(a)>=a g(b)<=b (1) g(a)-a>=0 ...

Fredholm's theorem states that, if A is an m×n matrix, then the orthogonal complement of the row space of A is the null space of A, and the orthogonal complement of the ...

A prime p_n is called "good" if p_n^2>p_(n-i)p_(n+i) for all 1<=i<=n-1 (there is a typo in Guy 1994 in which the is are replaced by 1s). There are infinitely many good ...

The McLaughlin group is the sporadic group McL of order |McL| = 898128000 (1) = 2^7·3^6·5^3·7·11. (2) It is implemented in the Wolfram Language as McLaughlinGroupMcL[].