A Telescoping Proof of the AM-GM Inequality.

Mehtaab S. Sawhney

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

Keyphrases

special case
theorem proving
theorem prover
mathematical proofs
information retrieval
information systems
case study
knowledge representation
first order logic
grey model
geometry theorem proving