计算Laurent-Ore模一阶子模的递归方法

计算机只能存贮有限的信息，怎样用计算机表示和处理无穷的数学对象是符号计算与数学机械化的重要课题。目前最有效的方法是，利用这些数学对象所满足的微分差分方程和相应的初值条件把表示与处理这些抽象数学对象转化为微分和差分方程求解的问题。Laurent-Ore模是有限维线性偏微分和差分方程组的代数模型，过去的研究多限于单变量函数。