王定康

中国科学院 数学与系统科学研究院

系统科学研究所

数学机械化重点实验室

邮政编码:北京100190

地址:北京市海淀区中关村东路55号

电子邮件:d w a n g @ m m r c . i s s . a c . c n

电 话: 010-82541841