Dr Alexander Konovalov
Research Fellow
Research profileEmail: alexander.konovalov@st-andrews.ac.uk
Room: 0.16 - Jack Cole Building, North Haugh
Direct phone: +44 (0)1334 461633
Home page: http://alexk.host.cs.st-andrews.ac.uk
Recent Publications
Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation
Linton, SA
, Hammond, K
, Konovalov, A
, Brown, CM
, Trinder, P
, Loidl, H-W
, Horn, P & Roozemond, D 2013, '
Easy Composition of Symbolic Computation Software using SCSCP: A New Lingua Franca for Symbolic Computation
'
Journal of Symbolic Computation
, vol 49, no. February 2013, pp. 95-119.
Interfacing Coq + SSReflect with GAP
Komendantsky, V
, Konovalov, A
& Linton, SA
2012, '
Interfacing Coq + SSReflect with GAP
'
Electronic Notes in Theoretical Computer Science
, vol 285, no. 19, pp. 17-28.
Integral group ring of the Mathieu simple group $M_{24}$
Bovdi, V
& Konovalov, A
2012, '
Integral group ring of the Mathieu simple group $M_{24}$
'
JOURNAL OF ALGEBRA AND ITS APPLICATIONS
, vol 11, no. 1, 1250016.
Parallel programming support in GAP
HPC-GAP project 2012, '
Parallel programming support in GAP
'. in
ACM Communications in Computer Algebra.
vol. 46, ACM Communications in Computer Algebra, ACM, pp. 162-163, International Symposium on Symbolic and Algebraic Computation (ISSAC 2012), Grenoble, France, 22-25 July.
On the Prime Graph of the Unit Group of Integral Group Rings of Finite Groups II
Kimmerle, W
& Konovalov, A
2012 '
On the Prime Graph of the Unit Group of Integral Group Rings of Finite Groups II
' Stuttgarter Mathematische Berichte, no. 2012-018.
View of Computer Algebra Data from Coq
Komendantsky, V
, Konovalov, A
& Linton, S
2011, '
View of Computer Algebra Data from Coq
' Paper presented at 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy,
18/07/11
-
23/07/11
, pp. 74-89.
The modular isomorphism problem for the groups of order 512
Eick, B
& Konovalov, A
2011, '
The modular isomorphism problem for the groups of order 512
'. in
Groups St. Andrews 2009 in Bath. Vol. 2.
vol. 388, London Math. Soc. Lecture Note Ser., Cambridge University Press, Cambridge, pp. 375-383.
Torsion Units in Integral Group Rings of Conway Simple Groups
Bovdi, V
, Konovalov, A
& Linton, SA
2011, '
Torsion Units in Integral Group Rings of Conway Simple Groups
'
International Journal of Algebra and Computation
, vol 21, no. 4, pp. 615.
Torsion units in integral group rings of Janko simple groups
Bovdi, VA, Jespers, E
& Konovalov, A
2011, '
Torsion units in integral group rings of Janko simple groups
'
Mathematics of Computation
, vol 80, no. 273, pp. 593-615.
From Farey symbols to generators for subgroups of finite index in integral group rings of finite groups
Dooms, A, Jespers, E
& Konovalov, A
2010, '
From Farey symbols to generators for subgroups of finite index in integral group rings of finite groups
'
Journal of K-theory
, vol 6, no. 2, pp. 263-283.
Follow us: