Black Box Classical Groups


Book Description

If a black box simple group is known to be isomorphic to a classical group over a field of known characteristic, a Las Vegas algorithm is used to produce an explicit isomorphism. The proof relies on the geometry of the classical groups rather than on difficult group-theoretic background. This algorithm has applications to matrix group questions and to nearly linear time algorithms for permutation groups. In particular, we upgrade all known nearly linear time Monte Carlo permutation group algorithms to nearly linear Las Vegas algorithms when the input group has no composition factor isomorphic to an exceptional group of Lie type or a 3-dimensional unitary group.




Mathematical Software - ICMS 2010


Book Description

The ICMS Developer's Meeting is an international congress for which the main theme is mathematical software. The 2010 meeting was the third of a series of meetings of similar theme, the ?rst being held in Beijing, China in 2002,and the second in Castro-Urdiales, Spain in 2006. The ?eld of mathematics has numerous branches, and in each branch we ?nd that algorithms, and also implementations and applications of software s- tems, are studied. Researchers who endeavor to make such studies also have international meetings within their speci'c branches of mathematics, and these meetings have made signi'cant contributions to the ?elds in which they lie. The ICMS (International Congresseson Mathematical Software), on the other hand, is a general (not branch speci'c) meeting on mathematical software, which is held every four years, and is a rare opportunity for developers of mathematical softwarefrom di'erent branchesof mathematics, as well as mathematicians who are interested in mathematical software, to gather together.




Mathematical Software -- ICMS 2014


Book Description

This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections named: invited; exploration; group; coding; topology; algebraic; geometry; surfaces; reasoning; special; Groebner; triangular; parametric; interfaces and general.




Groups St Andrews 1997 in Bath: Volume 2


Book Description

This two-volume book contains selected papers from the international conference "Groups St. Andrews 1997 in Bath". The articles are arranged in roughly alphabetical order and cover a wide spectrum of modern group theory. There are articles based on lecture courses given by five main speakers together with refereed survey and research articles contributed by other conference participants. Proceedings of earlier "Groups St. Andrews" conferences have had a major impact on the development of group theory and these volumes should be equally important.




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.




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.




Finite Geometries, Groups, and Computation


Book Description

This volume is the proceedings of a conference on Finite Geometries, Groups, and Computation that took place on September 4-9, 2004, at Pingree Park, Colorado (a campus of Colorado State University). Not accidentally, the conference coincided with the 60th birthday of William Kantor, and the topics relate to his major research areas. Participants were encouraged to explore the deeper interplay between these fields. The survey papers by Kantor, O'Brien, and Penttila should serve to introduce both students and the broader mathematical community to these important topics and some of their connections while the volume as a whole gives an overview of current developments in these fields.




Handbook of Computational Group Theory


Book Description

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




Groups, Combinatorics & Geometry


Book Description

"This book contains the proceedings of the L.M.S. Durham Symposium on Groups, Geometry and Combinatorics, July 16-26, 2001"--P. v.