WolframAlpha computational knowledge AI
y'-4y=2xy^2 and y(0)=-4