Using Krylov Methods in the Solution of Large-Scale Differential-Algebraic Systems | Synapse