海词手机词典
  • 基于正定二次型的一个不等式及其证明