Probabilistic checking of associativity in algebras
Information Processing Letters
Experimenting with the identity (xy)z = y(zx)
Journal of Symbolic Computation
Verification of Non-Identities in Algebras
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Solving the Word Problem for Two Classes of Non-associative Rings by Rewriting
Journal of Symbolic Computation
Computer algebra handbook
Hi-index | 0.00 |