I suppose that recurrence to determine taylor = 0 in special cases would be reduced to gospel algorithm. I remember that there is free packages available. H. Wilf and Zeilber (I don't remember well the names). Gospel is about the limit of what can be algorithmycally proved.