Centre for Interdisciplinary Research in Computational Algebra (CIRCA) Research: Recent submissions

Now showing items 6-10 of 22

    • Knowledge-based interoperability for mathematical software systems 

      Kohlhase, Michael; De Feo, Luca; Müller, Dennis; Pfeiffer, Markus Johannes; Rabe, Florian; Thiéry, Nicolas; Vasilyev, Victor; Wiesing, Tom (Springer, 2017) - Conference item
      There is a large ecosystem of mathematical software systems. Individually, these are optimized for particular domains and functionalities, and together they cover many needs of practical and theoretical mathematics. However, ...

    • Two variants of the froidure-pin algorithm for finite semigroups 

      Jonusas, Julius; Mitchell, J. D.; Pfeiffer, M. (2018-02-08) - Journal article
      In this paper, we present two algorithms based on the Froidure-Pin Algorithm for computing the structure of a finite semigroup from a generating set. As was the case with the original algorithm of Froidure and Pin, the ...

    • Erwin Schrödinger and quantum wave mechanics 

      O'Connor, John J.; Robertson, Edmund F. (2017-08-22) - Journal article
      The fathers of matrix quantum mechanics believed that the quantum particles are unanschaulich (unvisualizable) and that quantum particles pop into existence only when we measure them. Challenging the orthodoxy, in 1926 ...

    • Timing properties and correctness for structured parallel programs on x86-64 multicores 

      Hammond, Kevin; Brown, Christopher Mark; Sarkar, Susmit (Springer, 2016) - Conference item
      This paper determines correctness and timing properties for structured parallel programs on x86-64 multicores. Multicore architectures are increasingly common, but real architectures have unpredictable timing properties, ...

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