A short proof of the Lagrange-Good formula.

Published in: Discret. Math. (1979)

Keyphrases

lagrange interpolation
theorem proving
proof planning
real time
data sets
machine learning
information systems
image segmentation
expert systems
knowledge representation
b spline
logical rules
geometry theorem proving