余集相关论文
探讨了在初等平面几何范围内定理机器证明切实可行的2种方法：Grobner基方法与吴方法，介绍了它们相应的算法原理和实现方法，并进行了实......
对给定的集合E,可导出若干集合.把这些导出的集合看作是对集E实施集合运算所得.用集合运算的观点给出由集E导出的集合的定义.讨论......
