The Albert nonassociative algebra system: A progress report. After four years of experience with the nonassociative algebra program Albert, we highlight its successes and drawbacks. Among its successes are the discovery of several new results in nonassociative algebra. Each of these results has been independently verified - either with a traditional mathematical proof or with an independent computation. Computer algebra system (CAS).

This software is also peer reviewed by journal TOMS.