Now showing items 1-4 of 4

    • The classification of partition homogeneous groups with applications to semigroup theory 

      André, Jorge; Araúo, Joāo; Cameron, Peter Jephson (2016-04-15) - Journal article
      Let λ=(λ1,λ2,...) be a partition of n, a sequence of positive integers in non-increasing order with sum n. Let Ω:={1,...,n}. An ordered partition P=(A1,A2,...) of Ω has type λ if |Ai|=λi.Following Martin and Sagan, we say ...
    • Francy - an interactive discrete mathematics framework for GAP 

      Martins, Manuel Machado; Pfeiffer, Markus Johannes (Springer, 2018) - Conference item
      Data visualization and interaction with large data sets is known to be essential and critical in many businesses today, and the same applies to research and teaching, in this case, when exploring large and complex mathematical ...
    • Imprimitive permutations in primitive groups 

      Araújo, Joao; Araújo, Joao Pedro; Cameron, Peter Jephson; Dobson, Ted; Hulpke, Alexander; Lopes, Pedro (2017-09-15) - Journal article
      The goal of this paper is to study primitive groups that are contained in the union of maximal (in the symmetric group) imprimitive groups. The study of types of permutations that appear inside primitive groups goes back ...
    • Interfacing Coq + SSReflect with GAP 

      Komendantsky, Vladimir; Konovalov, Alexander; Linton, Stephen Alexander (2012-09-19) - Journal article
      We report on an extendable implementation of the communication interface connecting Coq proof assistant to the computational algebra system GAP using the Symbolic Computation Software Composability Protocol (SCSCP). It ...