WolframAlpha computational knowledge AI
solve a*x + b*y=c for y