Title: Symbolic computations in prolongation theory