Projekt dotyczył opracowania algorytmów obliczeniowych w grupach Liego, istotnych w geometrii różniczkowej i teorii grup. W ramach projektu zaproponowano algorytm związany z hipotezą Kostanta z wykorzystaniem algebr Cilfforda.