Inverse relations

[ .. ] → kbdef:hasDerivative → Aspects of algorithmic algebra: differential equations and splines / Raimundas Vidūnas