Now showing items 1-8 of 8

    • HPC-GAP : engineering a 21st-century High-Performance Computer algebra system 

      Behrends, Reimer; Hammond, Kevin; Janjic, Vladimir; Konovalov, Alexander; Linton, Stephen Alexander; Loidl, Hans-Wolfgang; Maier, Patrick; Trinder, Philip (2016-09-10) - Journal article
      Symbolic computation has underpinned a number of key advances in Mathematics and Computer Science. Applications are typically large and potentially highly parallel, making them good candidates for parallel execution at a ...
    • Interfacing Coq + SSReflect with GAP 

      Komendantsky, Vladimir; Konovalov, Alexander; Linton, Stephen Alexander (2012-09-19) - Journal article
      We report on an extendable implementation of the communication interface connecting Coq proof assistant to the computational algebra system GAP using the Symbolic Computation Software Composability Protocol (SCSCP). It ...
    • Interoperability in the OpenDreamKit project : the Math-in-the-Middle approach 

      Dehaye, Paul-Olivier; Iancu, Mihnea; Kohlhase, Michael; Konovalov, Alexander; Lelièvre, Samuel; Müller, Dennis; Pfeiffer, Markus; Rabe, Florian; Thiéry, Nicolas M.; Wiesling, Tom (Springer, 2016) - Conference item
      OpenDreamKit - "Open Digital Research Environment Toolkit for the Advancement of Mathematics" - is an H2020 EU Research Infrastructure project that aims at supporting, over the period 2015-2019, the ecosystem of open-source ...
    • On the Gruenberg–Kegel graph of integral group rings of finite groups 

      Kimmerle, Wolfgang; Konovalov, Alexander (2017-08-24) - Journal article
      The prime graph question asks whether the Gruenberg–Kegel graph of an integral group ring ℤG, i.e. the prime graph of the normalized unit group of ℤG, coincides with that one of the group G. In this note, we prove for ...
    • S-crucial and bicrucial permutations with respect to squares 

      Gent, Ian; Kitaev, Sergey; Konovalov, Alexander; Linton, Steve; Nightingale, Peter (2015-06-03) - Journal article
      A permutation is square-free if it does not contain two consecutive factors of length two or more that are order-isomorphic. A permutation is bicrucial with respect to squares if it is square-free but any extension of it ...
    • The status of the Zassenhaus conjecture for small groups 

      Bächle, Andreas; Herman, Allen; Konovalov, Alexander; Margolis, Leo; Singh, Gurmail (2018) - 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. ...
    • Symmetric subgroups in modular group algebras 

      Konovalov, Alexander; Krivokhata, A. G. (2008-01-05) - Journal article
      Let V(KG) be a normalised unit group of the modular group algebra of a finite p-group G over the field K of p elements. We introduce a notion of symmetric subgroups in V(KG) as subgroups invariant under the action of the ...
    • Ten Simple Rules for taking advantage of Git and GitHub 

      Perez-Riverol, Yasset; Gatto, Laurent; Wang, Rui; Sachsenberg, Timo; Uszkoreit, Julian; da Veiga Leprevost, Felipe; Fufezan, Christian; Ternent, Tobias; Eglen, Stephen J.; Katz, Daniel S.; Pollard, Tom J.; Konovalov, Alexander; Flight, Robert M.; Blin, Kai; Vizcaíno, Juan Antonio (2016-07-14) - Journal article
      A 'Ten Simple Rules' guide to Git and GitHub. We describe and provide examples on how to use these software to track projects, as users, teams and organizations. We document collaborative development using branching and ...