WolframAlpha computational knowledge AI
solve a^2+b^2=c^2 , a+b+c=1000 , 0<a<b<c over the integers