WolframAlpha computational knowledge AI
solve a^2+b^2=c^2 for b