这可能在 stackoverflow 上更合适，但由于它特别涉及到 LaTeX 实用程序的存在，所以我认为我应该在这里询问。
根据我作为一名本科生的经验，在问题集中展示（本质上）计算的每个步骤是很常见的。这是通过将所有内容放在某个align环境中，放在f(x) &= g(x)顶部，然后g(x)逐行减少，直到得到所需的“简化”答案来实现的。
如果这个简化的答案与 CAS 输出的内容不一致，通常错误发生在从一行到另一行的转换中，查找和修复它很麻烦。
看起来制作一个“计算验证器”至少并不困难一些LaTex 数学子集的用途（最初，仅考虑单变量微积分，但当然，仅此一点用处不大）。此验证器将：
解析
align环境，并将等式f(x) = g_1(x)、、f(x) = g_2(x)...导出到其他编程语言中该编程语言将调用 CAS，以查看是否
g_1(x) == g_2(x)、g_2(x) == g_3(x)等等。写回一些结果，显示错误发生的位置（可能只是哪一行没有遵循上一行）。
尽管这个实用程序似乎很有用（特别是对于本科生学习材料来说，如果一个人更擅长检查自己的计算，那么它的用处可能就更小了），但我还没有找到类似的东西。它有适用于 LaTeX 的吗？制作它有什么困难？
顺便说一句，我之所以问这个问题，是因为我有兴趣花整个夏天尝试解决这样的问题，并且想在深入研究之前先获得关于其可行性的反馈。我自己能想到一些困难，但不确定是否应该将它们发布在问题陈述中。