WolframAlpha computational knowledge AI
calculate orthocenter of triangle (0,4) (4,0) (-5,3)