本项目日常管理由“数学机械化重点实验室”承担

 

     联系人:周代珍

     电  话:10-62541834

     传  真:10-62630706

     Email:      dzhou@mmrc.iss.ac.cn

     地  址:中科院数学与系统科学研究院

             北京中关村东路55号

             100190