Hrushovski's algorithm for computing the Galois group of a linear differential equation

We present a detailed and modified version of Hrushovski's algorithm that determines the Galois group of a linear differential equation. Moreover, we give explicit degree bounds for the defining polynomials of various linear algebraic groups that appear in the algorithm. These explicit bounds will play an important role to understand the complexity of the algorithm.