Search Results for ""

A Berge graph is a simple graph that contains no odd graph hole and no odd graph antihole. The strong perfect graph theorem asserts that a graph is perfect iff it is a Berge ...

Let P be a point with trilinear coordinates alpha:beta:gamma=f(a,b,c):f(b,c,a):f(c,ab) and P^' be a point with trilinear coordinates ...

The Bickart points are the foci F_1 and F_2 of the Steiner circumellipse. They have trilinear coordinates alpha_1:beta_1:gamma_1 and alpha_2:beta_2:gamma_2, where alpha_i = ...

Binet's formula is an equation which gives the nth Fibonacci number as a difference of positive and negative nth powers of the golden ratio phi. It can be written as F_n = ...

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

A leg of a right triangle (i.e., a side adjacent the right angle) is also known as a cathetus (plural: catheti). While this usage is rather rare in English, the terms ...

A cellular automaton is a collection of "colored" cells on a grid of specified shape that evolves through a number of discrete time steps according to a set of rules based on ...

A reduction system is said to posses the Church-Rosser property if, for all x and y such that x<->_*y, there exists a z such that x->_*z and y->_*z. A reduction system is ...

A system of circles obtained by multiplying each radius in a coaxal system by a constant. The Tucker circles are a coaxaloid system (Johnson 1929, p. 277).

A monoid that is commutative i.e., a monoid M such that for every two elements a and b in M, ab=ba. This means that commutative monoids are commutative, associative, and have ...