Subject
Computational Mathematics,Algebra and Number Theory
Reference10 articles.
1. Automated proofs of the Moufang identities in alternative rings;Anantharaman;J. Autom. Reasoning,1990
2. Computers in Nonassociative Rings and Algebras;Beck,1977
3. Rewrite systems;Dershowitz,1990
4. A dynamic programming method for building free algebras;Hentzel;Comput. Math. Appl.,1991
5. Experimenting with the identity (xy)z=y(zx);Hentzel;J. Symb. Comput.,1993