Login / Signup
A Combinatorial Proof of Guo's Multi-Generalization of Munarini's Identity.
Dan-Mei Yang
Published in:
Integers (2011)
Keyphrases
</>
theorem proving
high dimensional
theorem prover