WolframAlpha computational knowledge AI
closed‐form solution