The general methodology of the proposed project is to apply theoretical results of constructive algebra to design algorithms for the study of linear functional equations (differential and related types). These algorithms are then
implemented in computer algebra systems and can be used to deal with problems appearing in applications such as control theory.