A purely verification proof of the first Rogers-Ramanujan identity.

Shalosh B. Ekhad Sol Tre

Published in: J. Comb. Theory, Ser. A (1990)

Keyphrases

formal proof
formal verification
case study
model checking
theorem prover
data mining
genetic algorithm
search engine
multiscale
data structure
expert systems
high security
concurrent systems