Assertion: risch algorithm | /r/CapableOf | check as a part of its operation
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.