Looks like a good use case for LLMs, especially when integrated with a math backend like Wolfram or Desmos