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
Hilfe
Suche: Author="Butler, Greg"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Software architectures for computer Algebra: A case study
Greg Butler
Lecture Notes in Computer Science
1128
, 1996, pp. 277-286
Easy verification of behavioural subtyping in common cases
Greg Butler
Information Processing Letters
55
, 1995, pp. 57-58
Datalog and TwoGroups and C++
Greg Butler
Lecture Notes in Computer Science
958
, 1995, pp. 80-92
On Holt's algorithm
Greg Butler
,
John J. Cannon
Journal Symbolic Computation
15
(2), 1993, pp. 229-233
The transitive groups of degree fourteen and fifteen
Greg Butler
Journal Symbolic Computation
16
(5), 1993, pp. 413-422
Experimental comparison of algorithms for Sylow subgroups
Greg Butler
Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, ISSAC'92 (Berkeley, California, July 27-29, 1992)
, 1992, pp. 251-262
Computing Sylow subgroups of permutation groups using homomorphic images of centralizers
Gregory Butler
,
John Cannon
Journal Symbolic Computation
12
(4-5), 1991, pp. 443-457
A deductive database of the groups of order dividing 128
Greg Butler
,
Sridhar S. Iyer
,
Susan H. Ley
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC'91 (Bonn, Germany, July 15-17, 1991)
, 1991, pp. 210-218
Implementing some algorithms of Kantor
Greg Butler
Lecture Notes in Computer Science
539
, 1991, pp. 82-93
Computing in permutation and matrix groups - III: Sylow subgroups
Gregory Butler
,
John Cannon
Journal Symbolic Computation
8
(3), 1989, pp. 241-252
A proof of Holt's algorithm
Gregory Butler
Journal Symbolic Computation
5
(3), 1988, pp. 275-283
Effective computation with group homomorphisms
Gregory Butler
Journal Symbolic Computation
1
(2), 1985, pp. 143-157
Computing normalizers in permutation groups
Gregory Butler
Journal of Algorithms
4
, 1983, pp. 163-175