Integration Problem
Let E be a set of expressions representing real, single-valued partially defined functions of one real variable. Let E^* be the set of functions represented by expressions in E, where E^* contains the identity function and the rational numbers as constant functions and that E^* is closed under addition, multiplication, and composition. If A is an expression in E, then let A(x) be the function denoted by A.
Then the integration problem for (E,E^*) is the problem of deciding, given A in E, whether there is a function f(x) in E^* so that f^'(x)=A(x) (Richardson 1968).
See also
Constant Problem, Richardson's TheoremExplore with Wolfram|Alpha
WolframAlpha
More things to try:
References
Richardson, D. "Some Unsolvable Problems Involving Elementary Functions of a Real Variable." J. Symbolic Logic 33, 514-520, 1968.Referenced on Wolfram|Alpha
Integration ProblemCite this as:
Weisstein, Eric W. "Integration Problem." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/IntegrationProblem.html