[detaro]

I'm not sure math is a good example, but for grading small code exercises there are systems that map "equivalent" solutions on each other, ignoring whitespace/variable names/simple equivalent operations. This allows the tutors to spend more energy on the long tail of "strange" solutions which needs more individual attention.