Algorithms for Checking Zero-Dimensional Complete Intersections