WolframAlpha computational knowledge AI
solve y'' + t*y = 1