Algorithmic Methods for Lie Pseudogroups