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

1999年10月11-17日在自然科学基金委员会数学天元基金与本项目的支持下,第一届“数学机械化高级研究班”在成都计算机所举行。到会人数26人,多数为青年数学家。研究班由项目首席科学家高小山主持,由石赫、杨路同志协助组织。吴文俊院士到会。研究班围绕(1)微分代数几何的机械化研究,(2)实代数几何的机械化研究。设置专题讲座:微分方程的李群(李志斌主讲),微分代数的特征列方法(高小山主讲)。研究班围绕上述主题组织了学术报告。在这些讲座和学术报告中,不仅介绍了当前的学术动态,研究工作进展,而且提出了一系列值得深入研究的问题。会议进行了热烈深入的学术讨论,为今后研究工作的开展和年轻数学人才的培养创造了良好的学术环境。