Publication:3217011

zbMath0554.35089MaRDI QIDQ3217011

S. N. Samborskij

Publication date: 1983

zbMATH Keywords

formal integrability; steady-state Stokes equations; linearized Navier-Stokes system; compatibility complex; normalized boundary value problem operator; sufficient regularity

Mathematics Subject Classification ID

58A20: Jets in global analysis

58H10: Cohomology of classifying spaces for pseudogroup structures (Spencer, Gelfand-Fuks, etc.)

58J10: Differential complexes

58J32: Boundary value problems on manifolds

35N10: Overdetermined systems of PDEs with variable coefficients