The Centre for Interdisciplinary Research in Computational Algebra (CIRCA) was established in 2000 to foster new and existing collaborative research between members of the Schools of Computer Science and of Mathematics and Statistics in the area of computational abstract algebra.

For more information please visit the Centre for Interdisciplinary Research in Computational Algebra (CIRCA) home page.

Collections in this community

Recent Submissions

  • Parallel algorithms for computing finite semigroups 

    Jonusas, Julius; Mitchell, J. D.; Pfeiffer, M. (2017-06-19) - Journal article
    In this paper, we present two algorithms based on the Froidure-Pin Algorithm for computing a finite semigroup. If U is any semigroup, and A be a subset of U, then we denote by ⟨A⟩ the least subsemigroup of U containing A.  ...
  • Notes on a semigroup related to the dicyclic group Qn 

    Sorouhesh, Mohammad R.; Campbell, Colin M. (2017-09-21) - Journal article
    We consider certain properties of the semigroup S defined by the Presentation S = 〈a,b : a2ⁿ⁻¹ = 1,b2 = a2ⁿ⁻², ba = ab2ⁿ⁻¹-1〉, (n ≥ 3).
  • On the star-height of subword counting languages and their relationship to Rees zero-matrix semigroups 

    Bourne, Tom; Ruškuc, Nik (2016-11-15) - Journal article
    Given a word w over a finite alphabet, we consider, in three special cases, the generalised star-height of the languages in which w occurs as a contiguous subword (factor) an exact number of times and of the languages in ...
  • Effect of first line cancer treatment on the ovarian reserve and follicular density in girls under the age of 18 years 

    El Issaoui, Meryam; Giorgine, Veronica; Mamsen, Linn S.; Rechnitzer, Catherine; Birkebæk, Niels; Clausen, Niels; Kelsey, Thomas William; Andersen, Claus Yding (2016-12) - Journal article
    Objective: To study the impact of first-line antineoplastic treatment on the ovarian reserve in young girls returning for ovarian tissue cryopreservation (OTC) in connection with a relapse. Design: Retrospective case-control ...
  • Generalized support and formal development of constraint propagators 

    Caldwell, James Lynn; Gent, Ian Philip; Nightingale, Peter William (2017-08-31) - Journal article
    Constraint programming is a family of techniques for solving combinatorial problems, where the problem is modelled as a set of decision variables (typically with finite domains) and a set of constraints that express relations ...

View more