"The power of general purpose computational algebra systems running on personal computers has increased rapidly in recent years. For mathematicians doing research in group theory, this means a growing set of sophisticated computational tools are now available for their use in developing new theoretical results." "This volume consists of contributions by researchers invited to the AMS Special Session on Computational Group Theory held in March 2007. The main focus of the session was on the application of Computational Group Theory (CGT) to a wide range of theoretical aspects of group theory. The articles in this volume provide a variety of examples of how these computer systems helped to solve interesting theoretical problems within the discipline, such as constructions of finite simple groups, classification of $p$-groups via coclass, representation theory and constructions involving free nilpotent groups. The volume also includes an article by R. F. Morse highlighting applications of CGT in group theory and two survey articles." "Graduate students and researchers interested in various aspects of group theory will find many examples of Computational Group Theory helping research and will recognize it as yet another tool at their disposal."--BOOK JACKET.

Computers in group theory; computer proof of relations in groups; the miracle octad generator; a quaternionic construction for the rudvalis group; finite permutation groups, edge-coloured graphs and matrices.

The origins of computation group theory (CGT) date back to the late 19th and early 20th centuries. Since then, the field has flourished, particularly during the past 30 to 40 years, and today it remains a lively and active branch of mathematics. The Handbook of Computational Group Theory offers the first complete treatment of all the fundame

The focus of algorithmic group theory shifted from the decidability/undecidability type of result to the complexity of algorithms. This title contains papers that reflect that paradigm shift. It presents articles that are based on the AMS/ASL Joint Special Session, Interactions Between Logic, Group Theory and Computer Science.

This volume contains the proceedings of the International Conference on Group Theory, Combinatorics and Computing held from October 3-8, 2012, in Boca Raton, Florida. The papers cover a number of areas in group theory and combinatorics. Topics include finite simple groups, groups acting on structured sets, varieties of algebras, classification of groups generated by 3-state automata over a 2-letter alphabet, new methods for construction of codes and designs, groups with constraints on the derived subgroups of its subgroups, graphs related to conjugacy classes in groups, and lexicographical configurations. Application of computer algebra programs is incorporated in several of the papers. This volume includes expository articles on finite coverings of loops, semigroups and groups, and on the application of algebraic structures in the theory of communications. This volume is a valuable resource for researchers and graduate students working in group theory and combinatorics. The articles provide excellent examples of the interplay between the two areas.

This volume contains the proceedings of the AMS Special Session on Computational Algebra, Groups, and Applications, held April 30-May 1, 2011, at the University of Nevada, Las Vegas, Nevada, and the AMS Special Session on the Mathematical Aspects of Cryptography and Cyber Security, held September 10-11, 2011, at Cornell University, Ithaca, New York. Over the past twenty years combinatorial and infinite group theory has been energized by three developments: the emergence of geometric and asymptotic group theory, the development of algebraic geometry over groups leading to the solution of the Tarski problems, and the development of group-based cryptography. These three areas in turn have had an impact on computational algebra and complexity theory. The papers in this volume, both survey and research, exhibit the tremendous vitality that is at the heart of group theory in the beginning of the twenty-first century as well as the diversity of interests in the field.

This volume contains papers presented at the Workshop on Groups and Computation, held in October, 1991. The workshop explored interactions among four areas: symbolic algebra and computer algebra, theoretical computer science, group theory, and applications of group computation. The relationships between implementation and complexity form a recurrent theme, though the papers also discuss such topics as parallel algorithms for groups, computation in associative algebras, asymptotic behavior of permutation groups, the study of finite groups using infinite reflection groups, combinatorial searching, computing with representations, and Cayley graphs as models for interconnection networks.

A collection of research articles and survey papers, this text highlights current methods and open problems in the geometric, combinatorial, and computational aspects of group theory. New interactions with broad areas of theoretical computer science are also considered. Pub 3/09.

This volume contains contributions by the participants of the conference "Groups and Computation", which took place at The Ohio State University in Columbus, Ohio, in June 1999. This conference was the successor of two workshops on "Groups and Computation" held at DIMACS in 1991 and 1995. There are papers on permutation group algorithms, finitely presented groups, polycyclic groups, and parallel computation, providing a representative sample of the breadth of Computational Group Theory. On the other hand, more than one third of the papers deal with computations in matrix groups, giving an in-depth treatment of the currently most active area of the field. The points of view of the papers range from explicit computations to group-theoretic algorithms to group-theoretic theorems needed for algorithm development.

The workshop "Groups and Computations" took place at the Center for Discrete Mathematics and Theoretical Computer Science (DIMACS) at Rutgers University in June 1995. This and an earlier workshop held in October 1991 was aimed at merging theory and practice within the broad area of computation with groups. The primary goal of the previous workshop was to foster a dialogue between researchers studying the computational complexity of group algorithms and those engaged in the development of practical software. It was expected that this would lead to a deeper understanding of the mathematical issues underlying group computation and that this understanding would lead, in turn, to faster algorithms. Comments and subsequent work indicated that this goal had been achieved beyond expectations. The second workshop was designed to reinforce the progress in these directions. The scientific program consisted of invited lectures and research announcements, as well as informal discussions and software demonstrations. The eight extended talks discussed randomization, permutation groups, matrix groups, software systems, fast Fourier transforms and their applications to signal processing and data analysis, computations with finitely presented groups, and implementation and complexity questions. As in the previous workshop, speakers ranged from established researchers to graduate students.