Symbolic Solution of Finite-Difference Equations | Synapse