评：舒尔的想法是美妙的，当然他本身也有很多意义，在机械化证明的理念里，它也占据了一方田地。
MT【19】舒尔不等式设计理念及证明
原文：http://www.cnblogs.com/mathstudy/p/7380877.html
