Formal integrability of partial differential systems: implementation and applications

This article aims to review a recent development of an algorithmic approach to the theory of formal integrability of linear systems of partial differential equations. In particular, effective tests for the 2-acyclicity and involutivity properties, as well as a procedure for bringing a linear system of partial differential equations into involutivity, are recalled and illustrated with explicit examples handled by the Maple package Spencer.