Computational and Experimental Group Theory

Seven papers discuss the first attempts to develop an interaction between group theory and computer science similar to that between logic and group theory, which has led to many prominent results in both disciplines. They reflect a change of focus in algorithmic group theory from the decidability/undecidability type of results to complexity of algo