WolframAlpha computational knowledge AI
extrema xy/z in x^2-2x+2y^2-8y+4z^2-16z+24<=0