Search Results for ""

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 Neuberg circle is the circumcircle of the first Neuberg triangle. The center has center function (1) which is not a Kimberling center. Its radius is ...

Let R be a ring. If phi:R->S is a ring homomorphism, then Ker(phi) is an ideal of R, phi(R) is a subring of S, and R/Ker(phi)=phi(R).

The following table gives the centers of the first Yff circles triangle in terms of the centers of the reference triangle for Kimberling centers X_n with n<=100. X_n center ...

A formal theory is said to be incomplete if it contains fewer theorems than would be possible while still retaining consistency.

Any of the three standard forms in which an elliptic integral can be expressed.