Search Results for ""

The Spieker center is the center Sp of the Spieker circle, i.e., the incenter of the medial triangle of a reference triangle DeltaABC. It is also the center of the excircles ...

The Steiner deltoid is the envelope of the Simson lines of a triangle. Its circumcircle is the Steiner circle, and its incircle is the nine-point circle. The triangle formed ...

The stevedore's knot is the 6-crossing prime knot 6_1. It is implemented in the Wolfram Language as KnotData["Stevedore"]. It has braid word ...

For omega a differential (k-1)-form with compact support on an oriented k-dimensional manifold with boundary M, int_Mdomega=int_(partialM)omega, (1) where domega is the ...

A surface (or "space") of section, also called a Poincaré section (Rasband 1990, pp. 7 and 93-94), is a way of presenting a trajectory in n-dimensional phase space in an ...

A region in a knot or link projection plane surrounded by a circle such that the knot or link crosses the circle exactly four times. Two tangles are equivalent if a sequence ...

Tarski's theorem says that the first-order theory of reals with +, *, =, and > allows quantifier elimination. Algorithmic quantifier elimination implies decidability assuming ...

Togliatti (1940, 1949) showed that quintic surfaces having 31 ordinary double points exist, although he did not explicitly derive equations for such surfaces. Beauville ...

A traceable graph is a graph that possesses a Hamiltonian path. Hamiltonian graphs are therefore traceable, but the converse is not necessarily true. Graphs that are not ...

The Tschirnhausen cubic is a plane curve given by the polar equation r=asec^3(1/3theta). (1) Letting theta=3tan^(-1)t gives the parametric equations x = a(1-3t^2) (2) y = ...