Low-Rank Methods for Solving Discrete-Time Projected Lyapunov Equations | Synapse