A Structure Theorem for Exponential and Primitive Functions

DOI10.1137/0208028zbMath0432.12015OpenAlexW2006090934MaRDI QIDQ3869439

B. F. Caviness, M. Rothstein

Publication date: 1979

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0208028

zbMATH Keywords

Liouville extensiondifferential extension fieldslog-explicit field

Mathematics Subject Classification ID

Differential algebra (12H05) Transcendental field extensions (12F20)

Related Items (11)

Comments on Rosenlicht’s Integration in Finite Terms ⋮ Computer algebra: Past and future ⋮ Computability of the additive complexity of algebraic circuits with root extracting ⋮ Linear differential equations in exponential extensions ⋮ Differential and difference algebra ⋮ Liouvillian solutions of linear differential equations with Liouvillian coefficients ⋮ Integration of a class of transcendental Liouvillian functions with error-functions. I ⋮ Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations ⋮ Primary decomposition of lattice basis ideals ⋮ Symbolic asymptotics: Multiseries of inverse functions ⋮ Integration in finite terms with special functions: the error function

This page was built for publication: A Structure Theorem for Exponential and Primitive Functions