一未知数的同时一阶偏微分方程的符号解
摘要：一种求解过度确定的一元偏微分方程组的算法的提议和实现。我们的方法依赖于Bour-Mayer方法，通过Jacobi-Mayer括号确定兼容条件。我们通过模拟纸和笔的做法，递归地解决兼容系统：解一个方程，将解代入剩下的方程，并重复这个过程，直到方程组的方程用尽。我们用于评估底层系统一致性的方法与传统的使用微分Gr"obner基的方法不同，但似乎更高效且更直接。我们不知道有哪个计算机代数系统在这项工作中采用我们提倡的程序。
作者：C''elestin Wafo Soh
论文ID：1703.01974
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2017-03-07