Algorithms for the Analysis of Form- and Force-Closure