School of Information Technology and Electrical Engineering
The University of Queensland Queensland 4072 AUSTRALIA
email: havas@itee.uq.edu.au

• Research interests
• Selected Publications: 2000 on; 1996-99 ; 1990-95 ; 1969-89
  
• Software Installation Material
  
  Coset enumeration: ACE version 3.001 (limited to at most about 2×10⁹ cosets)
  Colin Ramsay's source code + some test scripts [gzipped tar file, 106KB]
  Colin Ramsay's 2001 version of a draft manual for ACE 3.001 265K pdf
  This version of ACE is accessible via both the Magma Computational Algebra System and GAP - Groups, Algorithms, Programming - a System for Computational Discrete Algebra.
  
  Coset enumeration: ACE version 4.1 (total cosets limited only by available memory)
  Colin Ramsay's source code + some test scripts [gzipped tar file, 384KB]
  Colin Ramsay's 2009 version of a draft manual for ACE 4 306K pdf
  
  Proof Extraction After Coset Enumeration: PEACE version 1
  Colin Ramsay's source code + some test scripts [gzipped tar file, 85K]