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

  • Intuitionistic decision procedures since Gentzen 

    Dyckhoff, Roy (Birkhäuser Basel, 2016-05-05) - Book item
    Gentzen solved the decision problem for intuitionistic propositional logic in his doctoral thesis [31]; this paper reviews some of the subsequent progress. Solutions to the problem are of importance both for general ...
  • Adult dental anxiety : recent assessment approaches and psychological management in a dental practice setting 

    Humphris, Gerald Michael; Spyt, James; Herbison, Alice; Kelsey, Tom (2016-05) - Journal article
    Dental Anxiety of patients is a common feature of the everyday experience of dental practice. This article advocates the use of regular assessment of this psychological construct to assist in patient management. Various ...
  • Embeddings into Thompson's group V and coCF groups 

    Bleak, Collin; Matucci, Francesco; Neunhöffer, Max (2016-04-28) - Journal article
    Lehnert and Schweitzer show in [21] that R. Thompson's group V is a co-context-free (coCF ) group, thus implying that all of its finitely generated subgroups are also coCF groups. Also, Lehnert shows in his thesis that V ...
  • Lapedo : hybrid skeletons for programming heterogeneous multicore machines in Erlang 

    Janjic, Vladimir; Brown, Christopher Mark; Hammond, Kevin (IOS Press, 2016-04) - Conference item
    We describe Lapedo, a novel library of hybrid parallel skeletons for programming heterogeneous multi-core/many-core CPU/GPU sys- tems in Erlang. Lapedo’s hybrid skeletons comprise a mixture of CPU and GPU components, ...
  • Anti-Müllerian hormone serum concentrations of women with germline BRCA1 or BRCA2 mutations 

    Phillips, K-A; Collins, I M; Milne, R L; McLachlan, S A; Friedlander, M; Hickey, M; Stern, C; Hopper, J L; Fisher, R; Kannemeyer, G; Picken, S; Smith, C D; Kelsey, Thomas William; Anderson, R A (2016-05) - Journal article
    Study question: Do women with BRCA1 and BRCA2 mutations have reduced ovarian reserve, as measured by circulating anti-müllerian hormone (AMH) concentration?  Summary answer: Women with a germline mutation in BRCA1 have ...

View more