Search Results for ""

Let X and Y be sets, and let R subset= X×Y be a relation on X×Y. Then R is a concurrent relation if and only if for any finite subset F of X, there exists a single element p ...

The cubitruncated cuboctahedron (called the cubotruncated cuboctahedron by Wenninger 1971, p. 121) is the uniform polyhedron with Maeder index 16 (Maeder 1997), Wenninger ...

The cubohemioctahedron is the uniform polyhedron with Maeder index 15 (Maeder 1997), Wenninger index 78 (Wenninger 1989), Coxeter index 51 (Coxeter et al. 1954), and Har'El ...

The ditrigonal dodecadodecahedron, also called the ditrigonal dodecahedron, is the uniform polyhedron with Maeder index 41 (Maeder 1997), Wenninger index 80 (Wenninger 1989), ...

A (general) dodecahedron is a polyhedron having 12 faces. Examples include the Bilinski dodecahedron, decagonal prism, elongated square dipyramid (Johnson solid J_(15)), ...

In predicate calculus, an existential formula is a prenex normal form formula (i.e., a formula written as a string of quantifiers and bound variables followed by a ...

A two-dimensional piecewise linear map defined by x_(n+1) = 1-y_n+|x_n| (1) y_(n+1) = x_n. (2) The map is chaotic in the filled region above and stable in the six hexagonal ...

700 The great dodecahemicosahedron is the uniform polyhedron with Maeder index 65 (Maeder 1997), Wenninger index 102 (Wenninger 1989), Coxeter index 81 (Coxeter et al. 1954), ...

The great dodecahemidodecahedron is the uniform polyhedron with Maeder index 70 (Maeder 1997), Wenninger index 107 (Wenninger 1989), Coxeter index 86 (Coxeter et al. 1954), ...

The great dodecicosahedron is the uniform polyhedron with Maeder index 63 (Maeder 1997), Wenninger index 101 (Wenninger 1989), Coxeter index 79 (Coxeter et al. 1954), and ...