Proof of two conjectures on correlation inequalities for one class of monotone functions.

Vladimir M. Blinovsky

Published in: Probl. Inf. Transm. (2014)

Keyphrases

theorem prover
sufficient conditions
correlation coefficient
linear inequalities
elementary functions
geometry theorem proving
data mining
upper bound
multi class
combinatorial optimization
submodular functions