Vega is a system for manipulating discrete mathematical structures. The ongoing project is located at the Department of Theoretical Computer Science at IMFM.
Fact-index.com financially supports the Wikimedia Foundation. Displaying this page does not burden Wikipedia hardware resources. This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License.