Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[2]
Hilfe
Suche: Author="Holt, Derek F."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Computing subgroups of bounded index in a finite group
John J. Cannon
,
Derek F. Holt
,
Michael Slattery
,
Allan K. Steel
Journal Symbolic Computation
40
(2), 2005, pp. 1013-1022
Computing maximal subgroups of finite groups
John Cannon
,
Derek F. Holt
Journal Symbolic Computation
37
(5), 2004, pp. 589-609
Computing maximal subgroups of finite groups
John Cannon
,
Derek F. Holt
Journal Symbolic Computation
37
(5), 2004, pp. 589-609
Automorphism group computation and isomorphism testing in finite groups
John J. Cannon
,
Derek F. Holt
Journal Symbolic Computation
35
(3), 2003, pp. 241-267
Computing the subgroups of a permutation group
John J. Cannon
,
Bruce C. Cox
,
Derek F. Holt
Journal Symbolic Computation
31
(1-2), 2001, pp. 149-161
Computation in word-hyperbolic groups
Derek F. Holt
Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation, ISSAC'2000 (University of St. Andrews, Scotland, August 7-9, 2000)
, 2000, pp. viii-viii
Computing automatic coset systems and subgroup presentations
Derek F. Holt
,
Darren F. Hurt
Journal Symbolic Computation
27
(1), 1999, pp. 1-19
Computing Sylow subgroups in permutation groups
John J. Cannon
,
Bruce C. Cox
,
Derek F. Holt
Journal Symbolic Computation
24
(3-4), 1997, pp. 303-316
Computing chief series, composition series and socles in large permutation groups
John J. Cannon
,
Derek F. Holt
Journal Symbolic Computation
24
(3-4), 1997, pp. 285-301