Groups and Computation III


Book Description

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.




Groups and Computation II


Book Description

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.




Finite Geometries, Groups, and Computation


Book Description

Contains the proceedings of a conference on Finite Geometries, Groups, and Computation that took place in September 4-9, 2004, at Pingree Park, Colorado (a campus of Colorado State University). This work serves to introduce both students and the mathematical community to the important topics and gives an overview of developments in these fields.




Fields of Logic and Computation III


Book Description

This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress.




Computational and Statistical Group Theory


Book Description

This book gives a nice overview of the diversity of current trends in computational and statistical group theory. It presents the latest research and a number of specific topics, such as growth, black box groups, measures on groups, product replacement algorithms, quantum automata, and more. It includes contributions by speakers at AMS Special Sessions at The University of Nevada (Las Vegas) and the Stevens Institute of Technology (Hoboken, NJ). It is suitable for graduate students and research mathematicians interested in group theory.




Permutation Group Algorithms


Book Description

Table of contents




Groups St Andrews 2009 in Bath: Volume 2


Book Description

This second volume of a two-volume book contains selected papers from the international conference Groups St Andrews 2009. Leading researchers in their respective areas, including Eammon O'Brien, Mark Sapir and Dan Segal, survey the latest developments in algebra.




Intelligent Distributed Computing III


Book Description

Intelligent computing covers a hybrid palette of methods and techniques - rived from classical arti?cial intelligence, computational intelligence, multi-agent systems a.o. Distributed computing studies systems that contain loosely-coupled components running on networked computers and that c- municateandcoordinatetheiractionsbyexchangeofmessages.Theemergent ?eld of intelligent distributed computing is expected to pose special ch- lenges of adaptation and fruitful combination of results of both areas with a great impact on the development of new generation intelligent distributed information systems. Intelligent Distributed Computing – IDC Symposium Series was started as an initiative of research groups from: (i) Systems Research Institute, P- ish Academy of Sciences in Warsaw, Poland and (ii) Software Engineering Department of the University of Craiova, Craiova, Romania. IDC aims at bringing together researchers and practitioners involved in all aspects of - telligent distributed computing. IDC 2009 was the third event in this series and was hosted by Department of Computer Science, University of Cyprus in Ayia Napa, Cyprus during October 13-14, 2009.




Topics in Algebraic Graph Theory


Book Description

The rapidly expanding area of algebraic graph theory uses two different branches of algebra to explore various aspects of graph theory: linear algebra (for spectral theory) and group theory (for studying graph symmetry). These areas have links with other areas of mathematics, such as logic and harmonic analysis, and are increasingly being used in such areas as computer networks where symmetry is an important feature. Other books cover portions of this material, but this book is unusual in covering both of these aspects and there are no other books with such a wide scope. Peter J. Cameron, internationally recognized for his substantial contributions to the area, served as academic consultant for this volume, and the result is ten expository chapters written by acknowledged international experts in the field. Their well-written contributions have been carefully edited to enhance readability and to standardize the chapter structure, terminology and notation throughout the book. To help the reader, there is an extensive introductory chapter that covers the basic background material in graph theory, linear algebra and group theory. Each chapter concludes with an extensive list of references.




Computation with Finitely Presented Groups


Book Description

Research in computational group theory, an active subfield of computational algebra, has emphasised three areas: finite permutation groups, finite solvable groups, and finitely presented groups. This book deals with the third of these areas. The author emphasises the connections with fundamental algorithms from theoretical computer science, particularly the theory of automata and formal languages, computational number theory, and computational commutative algebra. The LLL lattice reduction algorithm and various algorithms for Hermite and Smith normal forms from computational number theory are used to study the abelian quotients of a finitely presented group. The work of Baumslag, Cannonito and Miller on computing nonabelian polycyclic quotients is described as a generalisation of Buchberger's Gröbner basis methods to right ideals in the integral group ring of a polycyclic group. Researchers in computational group theory, mathematicians interested in finitely presented groups and theoretical computer scientists will find this book useful.