Search Results for ""

The logical axiom R(x,y)=!(!(x v y) v !(x v !y))=x, where !x denotes NOT and x v y denotes OR, that, when taken together with associativity and commutativity, is equivalent ...

Let A and B be two algebras over the same signature Sigma, with carriers A and B, respectively (cf. universal algebra). B is a subalgebra of A if B subset= A and every ...

Let P=alpha_1:beta_1:gamma_1 and Q=alpha_2:beta_2:gamma_2 be points, neither of which lie on a sideline of the reference triangle DeltaABC. The P-Ceva conjugate X of Q is ...

Let C_1, C_2, C_3, and C_4 be four circles of general position through a point P. Let P_(ij) be the second intersection of the circles C_i and C_j. Let C_(ijk) be the circle ...

Let sigma_1, ..., sigma_4 be four planes in general position through a point P and let P_(ij) be a point on the line sigma_i·sigma_j. Let sigma_(ijk) denote the plane ...

A cubic lattice is a lattice whose points lie at positions (x,y,z) in the Cartesian three-space, where x, y, and z are integers. The term is also used to refer to a regular ...

The symbol ∡ABC denotes the directed angle from AB to BC, which is the signed angle through which AB must be rotated about B to coincide with BC. Four points ABCD lie on a ...

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

The inner Vecten circle is the circumcircle of the inner Vecten triangle. It has center at Kimberling center X_(642), which is the complement of the inner Vecten point ...

The radical circle of the Neuberg circles has circle function l=(a^2b^4-b^4c^2+a^2c^4-b^2c^4)/(bc(a^2b^2+a^2c^2+b^2c^2)), (1) which does not correspond to any Kimberling ...