Search Results for ""

A nowhere-neat dissection is a dissection of an area into polygons such that no two polygons have a side in common. A nowhere-neat dissection in which squares of the same ...

The fraction eta of a volume filled by a given collection of solids.

A statement, also known as an axiom, which is taken to be true without proof. Postulates are the basic structure from which lemmas and theorems are derived. The whole of ...

A loose term for a true statement which may be a postulate, theorem, etc.

The projective general linear group PGL_n(q) is the group obtained from the general linear group GL_n(q) on factoring by the scalar matrices contained in that group.

The projective general orthogonal group PGO_n(q) is the group obtained from the general orthogonal group GO_n(q) on factoring the scalar matrices contained in that group.

The projective general unitary group PGU_n(q) is the group obtained from the general unitary group GU_n(q) on factoring the scalar matrices contained in that group.

Virtually nothing is known about dissection of a projective plane using unequal squares.

The projective symplectic group PSp_n(q) is the group obtained from the symplectic group Sp_n(q) on factoring by the scalar matrices contained in that group. PSp_(2m)(q) is ...

A proposition is a mathematical statement such as "3 is greater than 4," "an infinite set exists," or "7 is prime." An axiom is a proposition that is assumed to be true. With ...