WolframAlpha computational knowledge AI
solve a(n+1)=2a(n)+3, a(1)=1