WolframAlpha computational knowledge AI
y' = y-x, y(0) = 2