WolframAlpha computational knowledge AI
solve {y'+2xy=0, y(1)=2} backward Euler method x=1..3