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.

Recent Submissions

  • Concentration of perfluorinated compounds and cotinine in human foetal organs, placenta, and maternal plasma 

    Mamsen, Linn Salto; Jönsson, Bo A G; Lindh, Christian H; Olesen, Rasmus H; Larsen, Agnete; Ernst, Erik; Kelsey, Thomas W; Andersen, Claus Yding (2017-10-15) - Journal article
    Background: Perfluoroalkyl substances (PFASs) are bio-accumulative pollutants, and prenatal exposure to PFASs is believed to impact human foetal development and may have long-term adverse health effects later in life. ...
  • Commentary on Grigori Mints’ “Classical and Intuitionistic Geometric Logic” 

    Dyckhoff, Roy; Negri, Sara (2017-07-17) - Journal article
  • On well quasi-order of graph classes under homomorphic image orderings 

    Huczynska, S.; Ruškuc, N. (2017-06) - Journal article
    In this paper we consider the question of well quasi-order for classes defined by a single obstruction within the classes of all graphs, digraphs and tournaments, under the homomorphic image ordering (in both its standard ...
  • The status of the Zassenhaus conjecture for small groups 

    Bächle, Andreas; Herman, Allen; Konovalov, Alexander; Margolis, Leo; Singh, Gurmail (2017-04-05) - Journal article
    We identify all small groups of order up to 288 in the GAP Library for which the Zassenhaus conjecture on rational conjugacy of units of finite order in the integral group ring cannot be established by an existing method. ...
  • Enumerating transformation semigroups 

    East, James; Egri-Nagy, Attila; Mitchell, James D. (2017-08) - Journal article
    We describe general methods for enumerating subsemigroups of finite semigroups and techniques to improve the algorithmic efficiency of the calculations. As a particular application we use our algorithms to enumerate all ...

View more