Skip to content

Research at St Andrews

Alexander Konovalov


  1. Published

    View of Computer Algebra Data from Coq

    Komendantsky, V., Konovalov, A. & Linton, S., 2011, p. 74-89. 16 p.

    Research output: Contribution to conferencePaperpeer-review

  2. Published

    Torsion units in integral group rings of Janko simple groups

    Bovdi, V. A., Jespers, E. & Konovalov, A., 2011, In: Mathematics of Computation. 80, 273, p. 593-615

    Research output: Contribution to journalArticlepeer-review

  3. Published

    Torsion Units in Integral Group Rings of Conway Simple Groups

    Bovdi, V., Konovalov, A. & Linton, S. A., 2011, In: International Journal of Algebra and Computation. 21, 4, p. 615 634 p.

    Research output: Contribution to journalArticlepeer-review

  4. Published

    The modular isomorphism problem for the groups of order 512

    Eick, B. & Konovalov, A., 2011, Groups St. Andrews 2009 in Bath. Vol. 2. Cambridge: Cambridge University Press, Vol. 388. p. 375-383 (London Math. Soc. Lecture Note Ser.).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  5. Published
  6. Published

    OpenMath - OpenMath functionality in GAP, Version 11.0.0 (Refereed GAP package)

    Costantini, M., Konovalov, A., Nicosia, L. M. & Solomon, A., 4 Oct 2011

    Research output: Non-textual formSoftware