Assertion: algorithm's implementation | /r/HasProperty | done by joel moses
Facets:
value: in macsyma
type: LOCATION
Source sentences:
text: The first implementation was done by Joel Moses in Macsyma soon after the publication of Risch's paper.