Formal Properties of Over-Determined Systems of Linear Partial Differential Equations

GPTKB entity