第十二届中国数学会计算机数学大会 (CM2021)

P000079

Machine Checked Proof for Some Integral Inequalities  


*敬轩 方 (中国科学院数学与系统科学研究院)
洪波 李 (中国科学院数学与系统科学研究院)


Math formula preview: