Cauchy mean theorem

DOI10.2478/forma-2014-0016zbMath1352.26002OpenAlexW2068371071MaRDI QIDQ502698

Adam Grabowski

Publication date: 6 January 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2014-0016

zbMATH Keywords

arithmetic meangeometric meanAM-GM inequalityCauchy mean theorem

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) One-variable calculus (26A06)

Uses Software

• Mizar
• MML
• Archive Formal Proofs
• Cauchy

Cites Work

• Unnamed Item
• Semantics of MML Query - Ordering