FASSLER, D. (2025). Finite-data Error Bounds for Approximating the Koopman Operator (Version 1.0.0) [Computer software]. https://github.com/Falsorr/EDMD_Master