Vega is a system for manipulating discrete mathematical structures. The ongoing project is located at the Department of Theoretical Computer Science at IMFM. See http://vega.ijp.si/Htmldoc/vega03.html