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

  • Solvable quotients of subdirect products of perfect groups are nilpotent 

    Kearnes, Keith; Mayr, Peter; Ruskuc, Nik (2018-08-09) - Journal article
    We prove the statement in the title and exhibit examples of quotients of arbitrary nilpotency class. This answers a question by Holt.
  • Triple arrays from difference sets 

    Nilson, Tomas; Cameron, Peter J. (2017-11) - Journal article
    This paper addresses the question whether triple arrays can be constructed from Youden squares developed from difference sets. We prove that if the difference set is abelian, then having −1 as multiplier is both a necessary ...
  • Finding parallel functional pearls : automatic parallel recursion scheme detection in Haskell functions via anti-unification 

    Barwell, Adam D.; Brown, Christopher; Hammond, Kevin (2018-02) - Journal article
    This paper describes a new technique for identifying potentially parallelisable code structures in functional programs. Higher-order functions enable simple and easily understood abstractions that can be used to implement ...
  • Complexity of n-Queens completion (extended abstract) 

    Gent, Ian Philip; Jefferson, Christopher Anthony; Nightingale, Peter William (International Joint Conferences on Artificial Intelligence, 2018-07-13)
    The n-Queens problem is to place n chess queens on an n by n chessboard so that no two queens are on the same row, column or diagonal. The n-Queens Completion problem is a variant, dating to 1850, in which some queens are ...
  • A framework for constraint based local search using ESSENCE 

    Akgun, Ozgur; Attieh, Saad Wasim A; Gent, Ian Philip; Jefferson, Christopher Anthony; Miguel, Ian James; Nightingale, Peter William; Salamon, András Z.; Spracklen, Patrick; Wetter, James Patrick (International Joint Conferences on Artificial Intelligence, 2018-07-13)
    Structured Neighbourhood Search (SNS) is a framework for constraint-based local search for problems expressed in the Essence abstract constraint specification language. The local search explores a structured neighbourhood, ...

View more