Completeness and Reduction in Algebraic Complexity Theory (Algorithms and Computation in Mathematics)