Regular rapidly decreasing nonlinear generalized functions. Application to microlocal regularity

From MaRDI portal