A Matrix-Calculation-Based Algorithm for Numerical Change Propagation Analysis · Study