A complete equational axiomatisation of partial differentiation

Autor:	Plotkin, Gordon D.
Rok vydání:	2020
Předmět:	Computer Science - Logic in Computer Science
Druh dokumentu:	Working Paper
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2006.06415 Zobrazit plný text záznamu View this record from Arxiv