An Entropy Proof of the Arithmetic Mean-Geometric Mean Inequality.

Cole Graham Tadashi Tokieda Vadim Ponomarenko

Published in: Am. Math. Mon. (2020)

Keyphrases

mutual information
information theoretic
information theory
fuzzy entropy
theorem prover
information entropy
interactive theorem proving
real time
geometry theorem proving
grey relation
mathematical proofs
minimum error
theorem proving
first order logic
case study
data mining
real world