WolframAlpha computational knowledge AI
a^2 + b^2 = c^2, a+b+c=257, a*b/2 = 7956