A Differential-Algebraic Framework for Inverse Variational Problems: A Rigorous Extension to Discrete Systems | Synapse