叶科 (中国科学院数学与系统科学研究院系统科学研究所数学机械化实验室)
*陈琦元 (中国科学院数学与系统科学研究院系统科学研究所数学机械化实验室)