The University of Queensland Homepage
Takes you back to the UQ reSEARCHers Homepage You are at the UQ reSEARCHers site
  
      
   » Contacts
   » Biography
   » Research Groups
   » Projects
   » Publications
   » Colleagues
   » Print Profile

   » Search
   » Browse
   » Subscription
   » Home
   » About

  »  UQ Experts
  »  Food industry prepares to transform
Jun 11 2013
  »  Researchers push towards arthritis treatment
Jun 11 2013
  »  UQ luminaries named as Queensland Greats
May 31 2013
  »  More Research News

Associate Professor George Havas   
Honorary Associate Professor

 Publications
  2008  Defining Set Spectra for Designs can have Arbitrarily Large Gaps
  2007  On proofs in finitely presented groups
  2007  On the efficiency of the simple groups of order less than a million and their covers
  2006  Efficient presentations for the Mathieu simple group M22 and its cover
  2004  Nice efficient presentation for all small simple groups and their covers
  2003  Andrews-Curtis and Todd-Coxeter proof words
  2003  Breadth-first search and the Andrews-Curtis conjecture
  2003  Short balanced presentations of perfect groups
  2001  Experiments in coset enumeration
  2000  Parallel COSET enumeration using threads
  2000  Proving a group trivial made easy: A case study in COSET enumeration
Page: 1 
 
 Select all records
 
© 2006 The University of Queensland, Brisbane, Australia
ABN 63 942 912 684
CRICOS Provider No: 00025B
Authorised by: Deputy Vice Chancellor (Research)
Maintained by: rps@uq.edu.au