Computing the Galois group of a linear differential equation Ehud Hrushovski (2002) Banach Center Publications