dblp.uni-trier.dewww.uni-trier.de

Charles C. Sims

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998
6EECharles C. Sims: Fast Multiplication and Growth in Groups. ISSAC 1998: 165-170
1997
5 Charles C. Sims: Computing with Subgroups of Automorphism Groups of Finite Groups. ISSAC 1997: 400-403
1991
4 Charles C. Sims: The Knuth-Bendix Procedure for Strings as a Substitute for Coset Enumeration. J. Symb. Comput. 12(4/5): 439-442 (1991)
1990
3 Charles C. Sims: Computing the Order of a Solvable Permutation Group. J. Symb. Comput. 9(5/6): 699-705 (1990)
2 Charles C. Sims: Implementing the Baumslag-Cannonito-Miller Polycyclic Quotient Algorithm. J. Symb. Comput. 9(5/6): 707-723 (1990)
1987
1 Charles C. Sims: Verifying Nilpotence. J. Symb. Comput. 3(3): 231-247 (1987)

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)