2 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
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…