noun
To transform a mathematical problem into an equivalent problem that is hopefully easier to solve.