A short proof of a 'strange' combinatorial identity conjectured by Gosper.

Shalosh B. Ekhad

Published in: Discret. Math. (1991)

Keyphrases

computer vision
identity management
social context
automated theorem proving
neural network
artificial intelligence
case study
data structure
theorem proving