学术会议简报.doc

文档介绍：学术会议简报为加强国际合作与交流,中科院数学与系统科学研究院数学机械化重点实验室于 200 4年5月 19-21 日在上海市青浦区朱家角镇举办了“第六届国际数学机械化研讨会”(The Sixth International Workshop on Mathematics Mechanization) 。国际数学机械化研讨会由吴文俊先生于 199 2 年发起, 至今已举办 5届。本届( 第六届) 研讨会的主要议题是: 代数和微分方程中的构造性和不变量方法。会议吸引了海内外在构造性代数几何, 微分代数, 不变量理论, 微分方程等领域的权威学者参加, 共同探讨数学机械化的发展, 为今后研究工作的开展和年轻人才的培养创造了良好的学术环境。本届会议由复旦大学承办, 会议得到国家自然科学基金委资助。到会代表约 80 人,其中外宾 10 人。会议期间总共有 33 场学术报告, 其中 13 场为特邀报告。我院吴文俊, 石赫, 高小山, 李洪波,王世坤, 李子明, 王定康, 支丽红, 马玉杰, 闫振亚, 周代珍等三十余名师生参加了会议。