Atlas home || Conferences | Abstracts | about Atlas

G^3, Special Session in Geometric Group Theory
January 10-13, 2001
part of the AMS/MAA joint meeting
New Orleans, LA, USA

Organizers
Phil Bowers, Martin Bridson, Stephen Brick, Jon Corson, Igor Mineyev

View Abstracts
Conference Homepage

Developments in coset enumeration
by
George Havas
The University of Queensland
Coauthors: Colin Ramsay (The University of Queensland)

Coset enumeration is one of the fundamental tools for investigating finitely presented groups. We describe recent developments in computer coset enumeration: the advanced coset enumerator, ACE; the parallel advanced coset enumerator, PACE; and proof extraction after coset enumeration, PEACE. We indicate their capabilities and give some applications.

Date received: October 11, 2000

Copyright © 2000 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cafm-23.