Search Results for ""

A type I Markov move.

If the consistency of one of two propositions implies the consistency of the other, the first is said to have greater consistency strength.

A topological space.

No A is not-A.

An immediate consequence of a result already proved. Corollaries usually state more complicated theorems in a language simpler to use and apply.

Cospectral graphs, also called isospectral graphs, are graphs that share the same graph spectrum. The smallest pair of isospectral graphs is the graph union C_4 union K_1 and ...

x^(2n)+1=[x^2-2xcos(pi/(2n))+1] ×[x^2-2xcos((3pi)/(2n))+1]×...× ×[x^2-2xcos(((2n-1)pi)/(2n))+1].

The largest n such that |z_n|<4 in a Mandelbrot set. Points of different count are often assigned different colors.

Exchanges branches of the hyperbola x^'y^'=xy. x^' = mu^(-1)x (1) y^' = -muy. (2)

A group of sociable numbers of order 3.