Answers are grounded in this paper and cite their sources.
We develop a formal differential calculus on the K-*-algebra of rational expressions with multiplicities in a commutative semiring K. We also characterize the systems [Formula: see text] of K-rational identities such that the derivative of any [Formula: see text]-consequence remains [Formula: see text]-deducible.
No takes yet. Share an insight, caveat, or question.
Daniel Krob (1992) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: