A bijective proof of Cassini's Fibonacci identity.

M. Werman Doron Zeilberger

Published in: Discret. Math. (1986)

Keyphrases

identity management
proof planning
theorem proving
linear logic
neural network
machine learning
image processing
website
decision trees
case study
image segmentation
theorem prover