Albert
Albert is an interactive program to assist the specialist in the study of nonassociative algebra: the main problem addressed is the recognition of polynomial identities in varieties of nonassociative algebras. Download source code in C.

No queries for www.cs.clemson.edu/~dpj/albertstuff/albert.html