Reduction formulas by computer | StemPy Lab