• GAP computer algebra system
  • Kenzo algebraic topology software
  • Magma computer algebra system
  • Magnus computational group theory software

  • Polymake computational geometry software