dC differential cut adds formula R to the evolution domain Q of a differential equation system [{x'=f(x) & Q}]P, so that the resulting differential equation system has the form [{x'=f(x) & Q∧R}]P.

The cut R may refer to the initial state of the differential equation system using the special function symbol old(.), e.g., x=old(x) + vt.

See also

Learning resources