222 citations · 2k across the 46 of their papers we have counts for
1 paper · 2 filters
Dominic Price, Kasper Peeters, Marija Zamaklar
Simplification of expressions in computer algebra systems often involves a step known as "canonicalisation", which reduces equivalent expressions to the same form. However, such fo…