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 veri ed { either with a traditional mathematical proof or with an independent computation.

• Type: Conference
• Year: 1994
• Where: ISSAC
• Authors: David Pokrass Jacobs
• Keywords: ISSAC 1994, Mathematics, Nonassociative Algebra, Nonassociative Algebra Program, Traditional Mathematical Proof