scientific article; zbMATH DE number 1925949

zbMath1054.58010MaRDI QIDQ4707484

Werner M. Seiler, Larry A. Lambe

Publication date: 2002

Full work available at URL: https://eudml.org/doc/51135

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

symbolic computationpartial differential equationscomodulescobar constructionformal theorySpencer cohomologyhomological resolutions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Bar and cobar constructions (57T30) Nonlinear higher-order PDEs (35G20) Resolutions; derived functors (category-theoretic aspects) (18G10) Cohomology of classifying spaces for pseudogroup structures (Spencer, Gelfand-Fuks, etc.) (58H10) Microlocal methods and methods of sheaf theory and homological algebra applied to PDEs (35A27)

Related Items (1)

Under- and overdetermined systems of differential equations

Uses Software

• AXIOM
• Macaulay2

This page was built for publication: