WolframAlpha computational knowledge AI
minimize x^2+y^2+z^2 where 3x^2-y^2+z^2-1=0