Structure theorems for parallel integration

• Autores: Manuel Bronstein
• Localización: Journal of symbolic computation, ISSN 0747-7171, Vol. 42, Nº 7, 2007, págs. 757-769
• Idioma: inglés
• Texto completo no disponible (Saber más ...)
• Resumen

  • We introduce structure theorems that refine Liouville¿s Theorem on integration in closed form for general derivations on multivariate rational function fields. By predicting the arguments of the new logarithms that can appear in integrals, as well as the denominator of its rational part, those theorems provide theoretical backing for the Risch¿Norman integration method. They also generalize its applicability to non-monomial extensions, for example the Lambert W function.