Enlarging the REDUCE domain of computation

Abstract

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

Topics

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} }