Simplifying mathematical expressions

Page status: Outline

This is a rough outline of an article. It might not use full sentences everywhere and probably won’t make much sense at the moment.


Randomised mathematical expressions usually need some rearrangement, which a human would do automatically.

“Simplification” is not a uniquely-defined task: depends on context.


Rewrite rules defined using Pattern-matching mathematical expressions.

Configurable sets of rules.

Repeatedly apply rules until none match.

Need to ensure that there are no loops - the simplification process converges.

Previous work