WolframAlpha computational knowledge AI
isosceles right triangle with area 1