A combinatorial proof of the multivariable lagrange inversion formula.

Published in: J. Comb. Theory, Ser. A (1987)

Keyphrases

lagrange interpolation
linear logic
fan beam
input output
theorem prover
closed loop
nonlinear systems
image reconstruction
transfer function
logic programming
theorem proving
laplace transform