WolframAlpha computational knowledge AI
x^2+y^2=5, y=x^2-3,x=y+1