A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
In a previous paper the authors showed that Maple's evaluation process can be recast as constraint contextual rewriting (CCR), a form of conditional rewriting that incorporates the services provided by ... Maple's symbolic evaluator, together with a feature that is usually known as the assume facility, implements a powerful form of conditional rewriting. ... ., and in particular to Jacques Carette, for their cooperation and the provision of Maple source code. ...doi:10.1016/j.jsc.2004.12.010 fatcat:w7452xzarrgwrhmk2u5lkbe4oq
. . . 501 Armando, A. and Ballarin, C., A reconstruction and extension of Maple's assume facility via constraint contextual rewriting .. . . . . . . . . 503 Beeson, M. and Wiedijk, F., The meaning ... ., Gianni, P. and Trager, B. , Irreducible decomposition of polynomial ideals . . . . . . . . . . . . . . . . . . . . . 305 Busé, L. and Galligo, A., representations of surfaces in P 3 , resultants and ...doi:10.1016/s0747-7171(05)00160-4 fatcat:a3hcsoc2orad3fh2g2mvgsxm6q