Search Results for ""

The resolution principle, due to Robinson (1965), is a method of theorem proving that proceeds by constructing refutation proofs, i.e., proofs by contradiction. This method ...

The 2-1 equation A^n+B^n=C^n (1) is a special case of Fermat's last theorem and so has no solutions for n>=3. Lander et al. (1967) give a table showing the smallest n for ...

A number of strongly regular graphs of several types derived from combinatorial design were identified by Goethals and Seidel (1970). Theorem 2.4 of Goethals and Seidel ...

An algebraic set is the locus of zeros of a collection of polynomials. For example, the circle is the set of zeros of x^2+y^2-1 and the point at (0,0) is the set of zeros of ...

In general, the pedal curve of the cardioid is a slightly complicated function. The pedal curve of the cardioid with respect to the center of its conchoidal circle is the ...

A hexagon is a six-sided polygon. Several special types of hexagons are illustrated above. In particular, a hexagon with vertices equally spaced around a circle and with all ...

A trochoid is the locus of a point at a distance b from the center of a circle of radius a rolling on a fixed line. A trochoid has parametric equations x = aphi-bsinphi (1) y ...

A surface which can be interpreted as a self-intersecting rectangle in three dimensions. The Whitney umbrella is the only stable singularity of mappings from R^2 to R^3. It ...

A box integral for dimension n with parameters q and s is defined as the expectation of distance from a fixed point q of a point r chosen at random over the unit n-cube, ...

There are at least two distinct notions of an intensity function related to the theory of point processes. In some literature, the intensity lambda of a point process N is ...