Now showing items 1-2 of 2

  • 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 ...
  • 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 ...