Search Results for ""

Code 177 is a totalistic cellular automaton that yields patterns with seemingly random features. The rules and 300 steps of this automaton are illustrated above.

Code 2040 is a totalistic cellular automaton that yields patterns with seemingly random features. The rules and 300 steps of this automaton are illustrated above.

If S is an infinite set, then the collection F_S={A subset= S:S-A is finite} is a filter called the cofinite (or Fréchet) filter on S.

An abbreviation for the cokernel.

The polar angle on a sphere measured from the north pole instead of the equator. The angle phi in spherical coordinates is the colatitude. It is related to the latitude delta ...

Let AB and CD be dyads. Their colon product is defined by AB:CD=C·AB·D=(A·C)(B·D).

A subset of a topological space which is compact with respect to the relative topology.

A compact surface is a surface which is also a compact set. A compact surface has a triangulation with a finite number of triangles. The sphere and torus are compact.

The comparability graph of a partially ordered set P=(X,<=) is the graph with vertex set X for which vertices x and y are adjacent iff either x<=y or y<=x in P.

An axiomatic theory (such as a geometry) is said to be complete if each valid statement in the theory is capable of being proven true or false.