WolframAlpha computational knowledge AI
Reduce[Abs[a+b]<=X&&Abs[ab]<=X&&X>0&&(a+b)^2-4ab==(b-a)^2&&b>=a,{b},Integers]