“D-模”（D-modules）提供了一种用于研究线性偏微分方程组的代数语言。柏原正树1970 年的硕士论文发展了解析D-模理论，引入了特征簇（characteristic variety）的基本概念，并证明了Cauchy–Kovalevskaya柯西-柯瓦列夫斯卡娅定理的广泛推广。这很早就证明了代数方法在 ...