WolframAlpha computational knowledge AI
a*v'(t)+b*v(t)+c=0, v(0)=0