WolframAlpha computational knowledge AI
linear independence {1,0,0},{2,0,0},{0,4,5}