This is almost as old as automated theorem proving. There exists systems for mathematics, programming, music, essays and various analytical fields of study. I

This is almost as old as automated theorem proving. There exists systems for mathematics, programming, music, essays and various analytical fields of study. I think labeling it an "expression" checker is a good thing, as it narrows down its purpose and scope.