"Groebner bases, integration, transcendental functions" - читать интересную книгу автора (Takayama.)