Search Results for ""

There are four varieties of Airy functions: Ai(z), Bi(z), Gi(z), and Hi(z). Of these, Ai(z) and Bi(z) are by far the most common, with Gi(z) and Hi(z) being encountered much ...

A unit of angular measure equal to 60 arc seconds, or 1/60 of a degree. The arc minute is denoted ^' (not to be confused with the symbol for feet).

The circumcenter is the center O of a triangle's circumcircle. It can be found as the intersection of the perpendicular bisectors. The trilinear coordinates of the ...

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 theory is decidable iff there is an algorithm which can determine whether or not any sentence r is a member of the theory.

Legendre and Whittaker and Watson's (1990) term for the beta integral int_0^1x^p(1-x)^qdx, whose solution is the beta function B(p+1,q+1).

The first isodynamic point S has triangle center function alpha_(15)=sin(A+1/3pi) and is Kimberling center X_(15) (Kimberling 1998, p. 68).

The first mid-arc point is the triangle center with triangle center function alpha_(177)=[cos(1/2B)+cos(1/2C)]sec(1/2A). It is Kimberling center X_(177).

The first Morley center is the center of Morley's circle. It has triangle center function alpha_(356)=cos(1/3A)+2cos(1/3B)cos(1/3C) and is Kimberling center X_(356).

The first Morley cubic is the triangle cubic with trilinear equation sum_(cyclic)alpha(beta^2-gamma^2)[cos(1/3A)+2cos(1/3B)cos(1/3C)]. It passes through Kimberling centers ...