Algorithms for checking zero-dimensional complete intersections