Algorithm-based Fault Tolerance for Parallel Matrix Equation Solvers | Synapse