A Bijective Proof of the Alladi-Andrews-Gordon Partition Theorem.

James J. Y. Zhao

Published in: Electron. J. Comb. (2015)

Keyphrases

interactive theorem proving
theorem proving
web services
logic programs
databases
linear logic
mathematical proofs
decision trees
expert systems
special case
theorem prover
normalized cut
von neumann
digital topology
homogeneous groups
heavy traffic limit
website