Filters








2 Hits in 3.2 sec

A reconstruction and extension of Maple's assume facility via constraint contextual rewriting

Alessandro Armando, Clemens Ballarin
2005 Journal of symbolic computation  
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  
. . . 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