A combinatorial proof of a general two-term recurrence.

Sabrina X. M. Pang Lun Lv

Published in: Ars Comb. (2015)

Keyphrases

special case
closely related
image processing
data mining
mobile robot
theorem prover