35A27 Microlocal methods and methods of sheaf theory and homological algebra applied to PDEs [See also 32C38, 58J15] 1055