George Havas

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×109 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]
Last updated: 25 June 2016

On This Site