Search Results for ""

The conjecture that Frey's elliptic curve was not modular. The conjecture was quickly proved by Ribet (Ribet's theorem) in 1986, and was an important step in the proof of ...

The Epstein zeta function for a n×n matrix S of a positive definite real quadratic form and rho a complex variable with R[rho]>n/2 (where R[z] denotes the real part) is ...

A map projection in which areas on a sphere, and the areas of any features contained on it, are mapped to the plane in such a way that two are related by a constant scaling ...

Two quantities are said to be equal if they are, in some well-defined sense, equivalent. Equality of quantities a and b is written a=b. Equal is implemented in the Wolfram ...

The center of an inner Soddy circle. It has equivalent triangle center functions alpha = 1+(2Delta)/(a(b+c-a)) (1) alpha = sec(1/2A)cos(1/2B)cos(1/2C)+1, (2) where Delta is ...

Through a point K in the plane of a triangle DeltaABC, draw parallelians through a point as illustrated above. Then there exist four points K for which ...

A mathematical statement of the equivalence of two quantities. The equality "A is equal to B" is written A=B.

An equalizer of a pair of maps f,g:X->Y in a category is a map e:E->X such that 1. f degreese=g degreese, where degrees denotes composition. 2. For any other map e^':E^'->X ...

An equation is a mathematical expression stating that two or more quantities are the same as one another, also called an equality, formula, or identity.

The terms of equational logic are built up from variables and constants using function symbols (or operations). Identities (equalities) of the form s=t, (1) where s and t are ...