From: christopher arthur on

Considering the way that mathematica simplifes, can anyone reference
some kind of cool that is like a search engine that can parse algebraic
structures and identified them regardless of what the variables used?