WolframAlpha computational knowledge AI
z^2=4-x^2-y^2