WolframAlpha computational knowledge AI
solve x^2 =z+y ,x^2-y^2 = z over the integers