Search Results for ""

Suppose a line L^' meets sidelines BC, CA, and AB in points A^', B^', and C^', respectively. Let A^('') be the reflection of A^' about the midpoint of segment BC, and ...

Let phi(x_1,...,x_m) be an L_(exp) formula, where L_(exp)=L union {e^x} and L is the language of ordered rings L={+,-,·,<,0,1}. Then there exist n>=m and f_1,...,f_s in ...

A formula of first-order logic is said to be in Skolemized form (sometimes also called Skolem standard form or universal form) if it is of the form forall x_1... forall x_nM, ...

The polyhedron compound of the truncated icosahedron and its dual, the pentakis dodecahedron. The compound can be constructed from a truncated icosahedron of unit edge length ...

Bisection is the division of a given curve, figure, or interval into two equal parts (halves). A simple bisection procedure for iteratively converging on a solution which is ...

The line segment KO^_ joining the symmedian point K and circumcenter O of a given triangle. It is the diameter of the triangle's Brocard circle, and lies along the Brocard ...

The polyhedron compound consisting of the cuboctahedron and its dual, the rhombic dodecahedron, illustrated in the left figure above. The right figure shows the solid common ...

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

The Gallatly circle is the circle with center at the Brocard midpoint X_(39) and radius R_G = Rsinomega (1) = (abc)/(2sqrt(a^2b^2+a^2c^2+b^2c^2)), (2) where R is the ...

The polyhedron compound of the icosidodecahedron and its dual, the rhombic triacontahedron. The compound can be constructed from an icosidodecahedron of unit edge length by ...