王定康 中国科学院 数学与系统科学研究院 系统科学研究所 数学机械化重点实验室 邮政编码：北京100190 地址：北京市海淀区中关村东路55号 电子邮件:d w a n g @ m m r c . i s s . a c . c n 电 话： 010－82541841
王定康
中国科学院 数学与系统科学研究院
系统科学研究所
数学机械化重点实验室
邮政编码：北京100190
地址：北京市海淀区中关村东路55号
电子邮件:d w a n g @ m m r c . i s s . a c . c n
电 话： 010－82541841
