DIFFERENTIATION OF K-RATIONAL EXPRESSIONS
Daniel Krob · International Journal of Algebra and Computation · 1992
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.