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 application/pdf.
Filters
A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
2005
Journal of symbolic computation
Preserved Fulltext
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
Contents
2005
Journal of symbolic computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
. . . 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