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.

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 ...

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.

The Kiepert hyperbola is a hyperbola and triangle conic that is related to the solution of Lemoine's problem and its generalization to isosceles triangles constructed on the ...