Algebraic Computation