WolframAlpha computational knowledge AI
vector(12,20)-(15,4)