Semantic Scholar uses AI to extract papers important to this topic.
Segundo a Agenda Habitat Declaracao de Istambul, (Apud BORGES, 2013, p. 31), a habitacao adequada e aquela na qual e perceptivel… Expand We introduce a decomposition of associative algebras into a tensor product of cyclic modules. This produces a means to encode a… Expand The reversible circuit synthesis problem can be reduced to permutation group. This allows Schreier–Sims algorithm for the strong… Expand Successful computation with a permutation group is largely depended on our ability to find an effective representative for the… Expand The present work studies symmetry breaking for the subgraph isomorphism problem. This NP-Complete problem decides if a pattern… Expand This is the report of a project with the aim to make a new implementation of the Schreier-Sims algorithm in GAP, specialized for… Expand A base and strong generating set provides an effective computer representation for a permutation group. This representation helps… Expand Abstract.This paper describes components of a branch-and-cut algorithm for solving integer linear programs having a large… Expand A modification of the Schreier-Sims algorithm is described which builds a permutation group utilising the transitivity of the… Expand Abstract We consider the application of the Schreier-Sims algorithm and its variations to matrix groups defined over finite… Expand