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

第四届“数学机械化高级研讨班”于 2002年10月11日—18日在中国科学院成都计算机应用研究所举办。研讨班主题是符号计算、代数计算、数值计算的理论和方法,主要内容包括全局优化、多项式方程组求解、不等式证明、几何代数、几何计算和推理、几何约束求解、计算机辅助设计、形式化方法、自动推理平台开发等等。会议由“973”项目课题组“构造性代数几何与不等式自动推理”和“全局优化与方程求解”主办。会议邀请美Arizona州立大学D. Hestenes做了关于几何代数方面的系列报告。共有12个单位的50人参加了会议。会议还安排了来自973项目成员学术报告18个。这些报告介绍了本项目近期在方程求解, 不等式证明,几何代数,CAGD等方面取得的进展。这些学术报告不仅介绍了当前的学术动态,研究工作进展,而且提出了一系列值得深入研究的问题,推动了本项目有关方面的研究。