Proof of the Wilf-Zeilberger Conjecture.

Shaoshi Chen Christoph Koutschan

Published in: CoRR (2015)

Keyphrases

theorem proving
theorem prover
proof planning
formal proof
object recognition
feature space