机译:诱导贝塞纳策略不等式的证明
Integer partitionsPolynomialsPartition inequality;
机译:Bessenrodt-ono分区不等式的组合证明
机译:Ahlgren和Ono关于某些分区同余不存在的猜想的证明
机译:与虚二次域相关的小野数和类数的不等式
机译:将隐式归纳证明集成到经过认证的证明环境中
机译:连接编译器,证明检查器和基础证明代码的证明。
机译:Rényi-Tsallis熵与Hölder的不等式 - 尚不公正的Rényi-tsallis熵最大化
机译:兔脊髓缺血后ONO-5046延迟运动神经元死亡的减弱及其对脑源性神经营养因子,磷酸化细胞外信号调节激酶和caspase3诱导的影响
机译:n <或= 5的对称函数不等式的初等证明