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 |
| 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
|
| https://www.w3.org/2000/01/rdf-schema#label |
Integration in Finite Terms
|