王东明，欧洲科学院院士，教育部长江学者特聘教授，法国国家科学研究中心主任研究员。在符号计算、自动推理、知识管理与发现、微分方程和生物网络等领域从事基础与应用研究，已出版专著3部、教材3本、编译著20余部，发表专业学术论文100余篇，在国际学术会议上作特邀报告30余次。其代表性研究成果在国内外科技文献中被称为“王方法”、“王简单系统”等。是多项式系统消元与分解、几何学自动推理和微分方程符号分析方面的国际著名学者，多个欧共体项目、国际合作项目和国家973项目... More+