Old inequalities; inequality; known inequalities;
机译:无言证明:AM-HM不等式的电子证明
机译:免费功能不平等和庞加莱不平等的大众运输证明
机译:积分不等式及其在熵不等式证明中的应用
机译:网络信息论中强逆定理证明的不等式
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:Rényi-Tsallis熵与Hölder的不等式 - 尚不公正的Rényi-tsallis熵最大化
机译:de Branges在证明Bieberbach猜想时使用的简短,基本且简单的WZ证明Askey-Gasper不等式