WolframAlpha computational knowledge AI
length contraction for a proper length of 1 yard at 0.93c