*王愚 (中国科学院数学与系统科学研究院机械化实验室)
叶科 (中国科学院数学与系统科学研究院机械化实验室)