Search Results for ""

The absence of contradiction (i.e., the ability to prove that a statement and its negative are both true) in an Axiomatic system is known as consistency.

A function which arises in the fractional integral of e^(at), given by E_t(nu,a) = (e^(at))/(Gamma(nu))int_0^tx^(nu-1)e^(-ax)dx (1) = (a^(-nu)e^(at)gamma(nu,at))/(Gamma(nu)), ...

The exponential sum function e_n(x), sometimes also denoted exp_n(x), is defined by e_n(x) = sum_(k=0)^(n)(x^k)/(k!) (1) = (e^xGamma(n+1,x))/(Gamma(n+1)), (2) where ...

If P(x,y) and P(x^',y^') are two points on an ellipse (x^2)/(a^2)+(y^2)/(b^2)=1, (1) with eccentric angles phi and phi^' such that tanphitanphi^'=b/a (2) and A=P(a,0) and ...

A full angle, also called a complete angle, round angle, or perigon, is an angle equal to 2pi radians =360 degrees corresponding to the central angle of an entire circle. ...

Two geometric figures are said to exhibit geometric congruence (or "be geometrically congruent") iff one can be transformed into the other by an isometry (Coxeter and ...

The dual of the great truncated cuboctahedron U_(20) and Wenninger dual W_(93).

Let K be an algebraically closed field and let I be an ideal in K(x), where x=(x_1,x_2,...,x_n) is a finite set of indeterminates. Let p in K(x) be such that for any ...

Krasner's lemma states that if K a complete field with valuation v, K^_ is a fixed algebraic closure of K together with the canonical extension of v, and K^_^^ is its ...

Two or more functions, equations, or vectors f_1, f_2, ..., which are not linearly dependent, i.e., cannot be expressed in the form a_1f_1+a_2f_2+...+a_nf_n=0 with a_1, a_2, ...