A bijective proof of Riordan's theorem on powers of Fibonacci numbers.

Published in: Discret. Math. (1999)

Keyphrases

interactive theorem proving
theorem proving
theorem prover
database
automated theorem proving
intuitionistic logic
information systems
artificial neural networks
special case
steady state
digital topology
proof planning
mathematical proofs