A combinatorial proof and refinement of a partition identity of Siladić.

Published in: Eur. J. Comb. (2014)

Keyphrases

data sets
theorem prover
theorem proving
identity management
automated theorem proving
mathematical proofs
real time
search algorithm
refinement process