WolframAlpha computational knowledge AI
y =-1/2 y, y(0)=5