Enlarging the REDUCE domain of computation


We describe the methods available in the current REDUCE system for introducing new mathematical domains, and illustrate these by discussing several new domains that significantly increase the power of the overall system. 
DOI: 10.1145/32439.32460


Cite this paper

@inproceedings{Bradford1986EnlargingTR, title={Enlarging the REDUCE domain of computation}, author={Russell J. Bradford and Anthony C. Hearn and Julian Padget and Eberhard Schr{\"u}fer}, booktitle={SYMSAC}, year={1986} }