Data-driven model reduction, Wiener projections, and the Koopman-Mori-Zwanzig formalism | Arena Library | Arena