Simplification of algebraic expression by multiterm rewriting rules.

Tateaki Sasaki

Browse the full ISSAC paper archive.