A proof of one correlation inequality.

Vladimir M. Blinovsky

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

Keyphrases

correlation coefficient
theorem proving
theorem prover
high correlation
expert systems
highly correlated
proof planning
information retrieval
information systems
special case
correlation analysis
correlation function
mathematical proofs