Sciweavers

15 search results - page 3 / 3
» Classifying Borel automorphisms
Sort
View
CSL
2003
Springer
14 years 2 days ago
The Arithmetical Complexity of Dimension and Randomness
Constructive dimension and constructive strong dimension are effectivizations of the Hausdorff and packing dimensions, respectively. Each infinite binary sequence A is assigned...
John M. Hitchcock, Jack H. Lutz, Sebastiaan Terwij...
AMAST
2006
Springer
13 years 10 months ago
A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
Alastair F. Donaldson, Alice Miller
COMBINATORICS
2006
136views more  COMBINATORICS 2006»
13 years 6 months ago
3-Designs from PGL(2, q)
The group PGL(2, q), q = pn, p an odd prime, is 3-transitive on the projective line and therefore it can be used to construct 3-designs. In this paper, we determine the sizes of o...
Peter J. Cameron, G. R. Omidi, Behruz Tayfeh-Rezai...
EJC
2008
13 years 7 months ago
Equivelar maps on the torus
Abstract. We give a classification of all equivelar polyhedral maps on the torus. In particular, we classify all triangulations and quadrangulations of the torus admitting a vertex...
Ulrich Brehm, Wolfgang Kühnel
IJAC
2002
128views more  IJAC 2002»
13 years 6 months ago
Computational Complexity of Generators and Nongenerators in Algebra
Abstract. We discuss the computational complexity of several problems concerning subsets of an algebraic structure that generate the structure. We show that the problem of determin...
Clifford Bergman, Giora Slutzki