WolframAlpha computational knowledge AI
x^2+y^2=1, (x-2)^2+(y-1)^2=4