Checking existence of solutions of partial differential equations in the fields of Laurent series
scientific article; zbMATH DE number 6418409