李洪波教授

数学机械化研究居中,

研究所系统科学专业e，

数学与系统学院科学,

中国科学院，北京100080。

电子邮件：邮箱：hli@mmrc.iss.ac.cn