首先改进了文献[1]中的KKM定理并应用这一定理证明了择一不等式，变分不等式存在性的结果和不动点存在性定理。......

马克思的劳动价值论把作为一种整体性的作用系统之“劳动”还原为脱离生产资料的单纯的劳动力的使用，他实质上不是把“劳动”而是把......

在方程逻辑中,通过引入语句函子Eqn : Sign→Set和模型函子Alg : Sign→Catop ,得到了方程逻辑可满足性条件定理,从而建立了方程逻......

针对面向对象软件系统中类与类之间存在的复杂关联关系,提出了一种基于类关联关系的代码重构时机识别方法,可用于探测代码中存在的......

结合多年的艺术实践与经验，介绍了中国古典园林中独特的艺术手法，分析了中国古典园林和现代园林审美意识的相通之处，并指出只有吃透古......

对爱因斯坦的相对论,即时空可变性的理论提出质疑。认为各种天体运动的联系情景不同,给人的感觉和对人的作用不会相同。空间的可变......

By a coincidence theorem, some existence theorems of solutions are proved for four types of generalized vector equilibri......