An Assume Facility for CAS, with a Sample Implementation for Maple

Maple's evaluation process as constraint contextual rewriting

Proceedings of the 2001 international symposium on Symbolic and algebraic computation

Towards better simplification of elementary functions

Proceedings of the 2002 international symposium on Symbolic and algebraic computation

Better simplification of elementary functions through power series

ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation

Solving parametric linear systems: an experiment with constraint algebraic programming

ACM SIGSAM Bulletin

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

Journal of Symbolic Computation

A quantitative study of reductions in algebraic libraries

Proceedings of the 4th International Workshop on Parallel and Symbolic Computation

A system for axiomatic programming

CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics