Assertion: risch algorithm | /r/CapableOf | apply to general elementary functions
Facets:
Source sentences:
text: The Risch algorithm applied to general elementary functions is not an algorithm but a semi-algorithm because it needs to check, as a part of its operation, if certain expressions are equivalent to zero (constant problem), in particular in the constant field.