Now showing items 1-5 of 5

    • Adventures in applying iteration lemmas 

      Pfeiffer, Markus Johannes (University of St Andrews, 2013-06-28) - Thesis
      The word problem of a finitely generated group is commonly defined to be a formal language over a finite generating set. The class of finite groups has been characterised as the class of finitely generated groups that ...
    • Decision problems for word-hyperbolic semigroups 

      Cain, Alan James; Pfeiffer, Markus Johannes (2016-11-01) - Journal article
      This paper studies decision problems for semigroups that are word-hyperbolic in the sense of Duncan & Gilman. A fundamental investigation reveals that the natural definition of a `word-hyperbolic structure' has to be ...
    • Finite presentability and isomorphism of Cayley graphs of monoids 

      Awang, Jennifer Sylvia; Pfeiffer, Markus Johannes; Ruskuc, Nikola (2017-11) - Journal article
      Two finitely generated monoids are constructed, one finitely presented the other not, whose (directed, unlabelled) Cayley graphs are isomorphic.
    • Francy - an interactive discrete mathematics framework for GAP 

      Martins, Manuel Machado; Pfeiffer, Markus Johannes (Springer, 2018) - Conference item
      Data visualization and interaction with large data sets is known to be essential and critical in many businesses today, and the same applies to research and teaching, in this case, when exploring large and complex mathematical ...
    • 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, ...