COJOCARU, Svetlana; COLESNICOV, Alexandru; HEINLE, Albert; LEVANDOVSKYY, Viktor; MALAHOV, Ludmila; STUDZINSKI, Grischa; UFNAROVSKI, Victor
(Technical University of Moldova, 2011)
Knowledge framework for non-commutative computer algebra consists of systematically discovered, collected, and thoroughly studied examples kept in a central repository (database). These examples are used at benchmarking ...