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

DOI10.1007/BF00995426zbMATH Open0421.68043OpenAlexW2014686143MaRDI QIDQ3854622FDOQ3854622

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

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

Cited In (1)

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

Uses Software

• REDUCE
• ALTRAN
• MACSYMA

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)