Proof of a conjecture of Ballantine and Merca on truncated sums of 6-regular partitions.

Olivia X. M. Yao

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

Keyphrases

clustering algorithm
theorem proving
proof planning
theorem prover
random variables
image processing
website
web services
computer vision
three dimensional
high level
multiscale
social networks
data mining
data sets
proof search
database