Convergence of the Semi-Discrete WaveHoltz Iteration. - Amit Rotem; Olof Runborg; Daniel Appelö (CoRR, 2024)