码迷,mamicode.com
首页 > 其他好文 > 详细

MT【19】舒尔不等式设计理念及证明

时间:2017-08-17 14:22:25      阅读:250      评论:0      收藏:0      [点我收藏+]

标签:image   font   http   理念   tle   设计理念   isp   back   inline   

技术分享

:舒尔的想法是美妙的,当然他本身也有很多意义,在机械化证明的理念里,它也占据了一方田地。

MT【19】舒尔不等式设计理念及证明

标签:image   font   http   理念   tle   设计理念   isp   back   inline   

原文地址:http://www.cnblogs.com/mathstudy/p/7380877.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!