A combinatorial proof of Newton's identities.

Doron Zeilberger

Published in: Discret. Math. (1984)

Keyphrases

theorem prover
theorem proving
natural deduction
linear logic
artificial intelligence
e learning
knowledge representation
interior point methods
computational geometry
proof theory
proof search