论文标题
部分分化的完整方程式
A complete equational axiomatisation of partial differentiation
论文作者
论文摘要
我们在具有功能变量和绑定构造的方程式逻辑版本中正式的部分分化规则。我们证明所产生的理论是关于多项式解释的。证明利用Severi的插值定理，表明所有多元赫米特问题都是可以解决的。我们还提出了许多相关结果，例如可确定性和方程式完整性。
We formalise the well-known rules of partial differentiation in a version of equational logic with function variables and binding constructs. We prove the resulting theory is complete with respect to polynomial interpretations. The proof makes use of Severi's interpolation theorem that all multivariate Hermite problems are solvable. We also present a number of related results, such as decidability and equational completeness.
