A structure theorem for the elementary functions and its application to the identity problem
DOI10.1007/BF00995426zbMath0421.68043OpenAlexW2014686143MaRDI QIDQ3854622
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
exponential functioncanonical formstructure theoremlogarithm functionelementary transcendental functionsLiouville fieldsalgorithms for integrationfields of elementary functions
Symbolic computation and algebraic computation (68W30) General theory of ordinary differential operators (47E05) Differential algebra (12H05) Transcendental field extensions (12F20) Modules of differentials (13N05)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On Liouville's theory of elementary functions
- Liouville's theorem on functions with elementary integrals
- On Schanuel's conjectures
- Sur les rélations algébriques entre les intégrales indefinies
- A liouville theorem on integration in finite terms for line integrals∗
- Algebraic Groups and Algebraic Dependence
- Some undecidable problems involving elementary functions of a real variable
- Rational Exponential Expressions and a Conjecture Concerning π and e
- The Problem of Integration in Finite Terms
- Solution of the identity problem for integral exponential functions
- On Canonical Forms and Simplification
- The solution of the problem of integration in finite terms
- Algebraic simplification
- On the Problem of Recognizing Zero
- The Simple Exponential Constant Problem
- Towards a general theory of special functions
- Integration in Finite Terms
- On algebraic simplification
This page was built for publication: A structure theorem for the elementary functions and its application to the identity problem
