Non-associative Algebra, Computational Algebra and Symbolic Computation