WolframAlpha computational knowledge AI
propagator for a driven harmonic oscillator