Integration in Finite Terms

GPTKB entity

Statements (27)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:application Symbolic computation
Computer algebra systems
gptkbp:concerns Finding antiderivatives expressible in terms of elementary functions
gptkbp:criteria Liouville's theorem gives necessary and sufficient conditions
gptkbp:describedBy Liouville's theorem (1833, 1841)
gptkbp:example ∫e^{x^2} dx is not elementary
∫sin(x)/x dx is not elementary
gptkbp:field gptkb:Mathematics
gptkb:Calculus
https://www.w3.org/2000/01/rdf-schema#label Integration in Finite Terms
gptkbp:involves gptkb:Inverse_trigonometric_functions
gptkb:Trigonometric_functions
Rational functions
Algebraic functions
Elementary functions
Exponentials
Logarithms
gptkbp:notableAchievement Some elementary functions have non-elementary antiderivatives
gptkbp:relatedTo gptkb:Liouville's_theorem_(differential_algebra)
Symbolic integration
Risch algorithm
Differential Galois theory
Differential algebra
gptkbp:studiedBy gptkb:Joseph_Liouville
gptkbp:bfsParent gptkb:Joseph_Fels_Ritt
gptkbp:bfsLayer 7