Koopman Spectral Linearization vs. Carleman Linearization: A Computational Comparison Study | Synapse