WolframAlpha computational knowledge AI
plot x^2+y^2<=16, (x-2)^2+y^2>=4, y>=x, y>=0