快速链接

理学院系列学术报告会(广州大学黄勇教授)

2016-11-29 10:46:34  点击:[]

 

理学院系列学术报告会

 

 

报告题目:从几何定理的机械化证明谈几何之美

 

报告人:  黄勇  教授、广州大学计算机科学与教育软件学院

 

主持人:  程新跃  重庆理工大学教授

 

 间:  20161130日(周三)下午400

 

 点:  理学院学术报告厅(至善楼200

 

报告人简介:黄勇, 广州大学计算机科学与教育软件学院教授, 广东省数学教育软件工程技术研究中心常务副主任。1999年毕业于四川大学应用数学专业,获理学博士学位。主要研究领域:计算机自动推理与数学教育软件、符号计算与偏微分方程精确解