数学机械化高级研究班'2001

在 973项目"数学机械化与自动推理平台"和国家自然科学基金委员会数学天元基金的资助下,数学机械化研究中心与中国科学技术大学数学系共同主办了第三届数学机械化高级研究班。会议于2001年3月1日至3月9日在安徽合肥举行。 本届研究班的主题是有效的代数几何方法及其应用。构造性代数几何是数学机械化的基础, 在现代科技的众多领域, 如CAD/CAGD, 机器人, 计算机视觉, 分子化学等, 起着非常重要的作用。 我们邀请到法国INRIA的Bernard Mourrain博士来主讲。共有18个单位的73人参加了会议。会议还安排了来自973项目, 香港和新加坡的学者的学术报告13个。这些报告介绍了本项目近期在方程求解, CAGD, CAD,机构学方面取得的若干进展。这些学术报告不仅介绍了当前的学术动态,研究工作进展,而且提出了一系列值得深入研究的问题。