This may be more appropriate on stackoverflow, but as it pertains specifically to the existence of a utility for LaTeX, I thought I should ask it here.
In my experience as an undergraduate, it's very common in problem sets to show (essentially) every step of a computation in problem sets.
This is done by putting everything in some
align environment, having
f(x) &= g(x) at the top, and then reducing
g(x) line-by-line until you get to whatever the desired, "simplified" answer is.
If this simplified answer disagrees with something a CAS would output, generally the error is in the transition from one line to another, and finding and fixing it is a pain.
It seems like it wouldn't be difficult to make a "computation verifier" for at least some subset of math LaTex is used for (initially, consider it just for single variable calculus, but of course this alone wouldn't be too useful). This verifier would:
alignenvironment, and export the equalities
f(x) = g_1(x),
f(x) = g_2(x), ... into some other programming language
That programming language will call a CAS, to see if
g_1(x) == g_2(x),
g_2(x) == g_3(x), etc.
Write back some result, showing where the error occurs (maybe just which line doesn't follow from the previous).
Despite this utility seeming useful (for specifically undergraduates learning material, likely less useful the more adept someone gets at checking their own computations), I haven't been able to find anything like it. Does it exist for LaTeX? What difficulties exist in making it?
As a sidenote, I'm asking this question as I'm interested in spending the summer trying to tackle something like this, and wanted to get feedback on the feasibility of it before diving in head first. I can think of some difficulties myself, but am unsure if I should post them in the question statement.