Search Results for ""

An occurrence of a variable in a logic formula which is not inside the scope of a quantifier.

Two closed simply connected 4-manifolds are homeomorphic iff they have the same bilinear form beta and the same Kirby-Siebenmann invariant kappa. Any beta can be realized by ...

A group acts freely if there are no group fixed points. A point which is fixed by every group element would not be free to move.

The Freemish crate, also called Escher's cube (Elber) or Hyzer's illusion (Pappas 1989, p. 13), is an impossible figure box that can be drawn but not built. It appears in ...

A strophoid of a circle with the pole O at the center of the circle and the fixed point P on the circumference of the circle. Freeth (1878, pp. 130 and 228) described this ...

Pick any point P on a conic section, and draw a series of right angles having this point as their vertices. Then the line segments connecting the rays of the right angles ...

The end of the last gap in the Lagrange spectrum, given by F=(2221564096+283748sqrt(462))/(491993569)=4.5278295661... (OEIS A118472). Real numbers greater than F are members ...

French curves are plastic (or wooden) templates having an edge composed of several different curves. French curves are used in drafting (or were before computer-aided design) ...

The French metro metric is an example for disproving apparently intuitive but false properties of metric spaces. The metric consists of a distance function on the plane such ...

Also known as the Serret-Frenet formulas, these vector differential equations relate inherent properties of a parametrized curve. In matrix form, they can be written [T^.; ...