Search Results for ""

The quartic curve given by the implicit equation (x^2-a^2)(x-a)^2+(y^2-a^2)^2=0, (1) so-named because of its resemblance to a tooth. The bicuspid curve has cusps at (a,-a) ...

A map is called bijective if it is both injective and surjective. A bijective map is also called a bijection. A function f admits an inverse f^(-1) (i.e., "f is invertible") ...

B^^ = T^^xN^^ (1) = (r^'xr^(''))/(|r^'xr^('')|), (2) where the unit tangent vector T and unit "principal" normal vector N are defined by T^^ = (r^'(s))/(|r^'(s)|) (3) N^^ = ...

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

The nth root of the content of the set sum of two sets in n-dimensional Euclidean space is greater than or equal to the sum of the nth roots of the contents of the individual ...

The only known classically known algebraic curve of curve genus g>1 that has an explicit parametrization (x(t),y(t)) in terms of standard special functions (Burnside 1893, ...

Consider a quadratic equation x^2-sx+p=0 where s and p denote signed lengths. The circle which has the points A=(0,1) and B=(s,p) as a diameter is then called the Carlyle ...

A Cartesian tensor is a tensor in three-dimensional Euclidean space. Unlike general tensors, there is no distinction between covariant and contravariant indices for Cartesian ...

The quartic surface obtained by replacing the constant b in the equation of the Cassini ovals with b=z, obtaining [(x-a)^2+y^2][(x+a)^2+y^2]=z^4. (1) As can be seen by ...

An axiomatic system is said to be categorical if there is only one essentially distinct representation for it. In particular, the names and types of objects within the system ...