Proof of a conjecture on a congruence modulo 243 for overpartitions.

Xiaoqian Huang Olivia X. M. Yao

Published in: Period. Math. Hung. (2019)

Keyphrases

information systems
theorem proving
linear logic
data sets
theorem prover
proof planning
geometry theorem proving
genetic algorithm
learning algorithm
image processing
decision trees
socio technical
natural deduction