A structure theorem for the elementary functions and its application to the identity problem

DOI10.1007/BF00995426MaRDI QIDQ3854622zbMATH OpenOpenAlexFDO

Authors H. I. Epstein, B. F. Caviness

Publication date 1979

Published in International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00995426

zbMATH Keywords

exponential functionstructure theoremcanonical formlogarithm functionelementary transcendental functionsLiouville fieldsalgorithms for integrationfields of elementary functions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Differential algebra (12H05) General theory of ordinary differential operators (47E05) Modules of differentials (13N05) Transcendental field extensions (12F20)

Cites work

• scientific article; zbMATH DE number 3135927 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• scientific article; zbMATH DE number 3048552 (Why is no real title available?)
• scientific article; zbMATH DE number 3056446 (Why is no real title available?)
• A liouville theorem on integration in finite terms for line integrals^∗
• Algebraic Groups and Algebraic Dependence
• Algebraic simplification
• Integration in Finite Terms
• Liouville's theorem on functions with elementary integrals
• On Canonical Forms and Simplification
• On Liouville's theory of elementary functions
• On Schanuel's conjectures
• On algebraic simplification
• On the Problem of Recognizing Zero
• Rational Exponential Expressions and a Conjecture Concerning π and e
• Solution of the identity problem for integral exponential functions
• Some undecidable problems involving elementary functions of a real variable
• Sur les rélations algébriques entre les intégrales indefinies
• The Problem of Integration in Finite Terms
• The Simple Exponential Constant Problem
• The solution of the problem of integration in finite terms
• Towards a general theory of special functions

Cited in

(1)

• Comments on Rosenlicht's \textit{Integration in finite terms}

Describes a project that uses

Uses Software

• MACSYMA
• ALTRAN
• REDUCE

This page was built for publication: A structure theorem for the elementary functions and its application to the identity problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3854622)