Creation of a Knowledge Framework for Non-Commutative Computer Algebra

Abstract

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 the computer algebra systems in computing the non-commutative Gröbner basis. Till now such framework existed only for commutative case.