Maple's evaluation process as constraint contextual rewriting. Armando, A. & Ballarin, C. Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC, 2001.
Maple's evaluation process as constraint contextual rewriting [link]Paper  bibtex   
@ARTICLE{Armando200132,
author={Armando, A., Ballarin, C.},
title={Maple's evaluation process as constraint contextual rewriting},
journal={Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC},
year={2001},
pages={32-37},
url={https://www.scopus.com/inward/record.uri?eid=2-s2.0-0034776825&partnerID=40&md5=901c9be0907508eab1db607084aa2116},
document_type={Conference Paper},
source={Scopus},
}

Downloads: 0