Parallel algorithms and implementations for the grobner bases algorithm and the characteristic sets method