文档介绍：国家重点基础研究发展计划(973)项目
“数学机械化方法及其在信息技术中的应用”
学术交流与汇报会
第二届全国计算机数学学术会议
(CM 2008)
2008年10月24-27日
青岛
目录
973项目学术交流与汇报会日程
第二届全国计算机数学学术会议日程
报告摘要
会议须知
第二届全国计算机数学学术会议组织
主办:中国数学学会计算机数学专业委员会
承办:中国石油大学
中国科学院系统科学研究所
中国科学院数学机械化重点实验室
会议主席:高小山
程序委员会: 李洪波(主席)、曾振柄、陈永川、李子明、
杨路、刘木兰、查红彬、陈发来、李华
组织委员会:李树荣(主席)、周代珍、黄雷
国家重点基础研究发展计划(973)项目
“数学机械化方法及其在信息技术中的应用”
学术交流与汇报会
地点:青岛金港大酒店
时间:2008年10月24日
09:00-09:30 项目介绍、领导讲话
09:30-10:10 数学机械化理论与核心算法
10:10-10:30 休息
10:30-11:10 差分与微分方程的机械化算法
11:10-11:50 实几何与实代数的高效能算法
12:00-14:00 午餐
14:00-14:40 数学机械化与信息安全和编码基础理论研究
14:40-15:20 数学机械化在生物特征识别中的应用
15:20-15:40 休息
15:40-16:20 数学机械化在几何建模中的应用
16:20-17:00 基于网络的数学机械化软件开发
17:00 总结
18:00- 晚餐
第二届全国计算机数学大会日程
(CSCM 2008)
2008年10月25-27日
青岛金港大酒店
10月25日
地点: ***
08:30-09:00 开幕式
主会场1(主席:高小山)
09:00-09:45 邀请报告: 徐宗本, 西安交通大学
基于视觉认知的数据建模
09:45-10:30 邀请报告: 齐东旭, 澳门科技大学
关于非连续的正交函数
10:30-10:50 休息
10月25日
10:50-12:05 分组报告:
**会议室
**会议室
**会议室
分组1:微分代数
(主席:张鸿庆)
分组2:应用研究
(主席:王定康)
分组3:代数方法
(主席:符红光)
10:50-11:15
李子明, 吴敏
Computing dimension of solution spaces for linear functional systems
10:50-11:15
李邦和
酶动力学中的拟稳态假设
10:50-11:15
张树功
多元有理插值的Groebner基方法
11:15-11:40
王怀富
A criterion for the similarity of length-two elements in a PID
11:15-11:40
LEI YANG, 李树荣
Optimization of injection strategies for polymer flooding based on a real-coded ic algorithm
11:15-11:40
Erich Kaltofen, 李斌, 杨争锋, 支丽红
Exact Certification of Global Optimality of Approximate Factorizations Via Rationalizing Sums-Of-Squares with Floating Point Scalars
11:40-12:05
郑大彬, 吴敏
Testing algebraic dependence of hyperexponential elements
11:40-12:05
侯春望
因子优化法在控制系统根轨迹绘制中的应用
11:40-12:05
王明生
Prime factorization of multivariate polynomial matrices
12:00-2:00 午餐
10月25日
2:00-3:40 分组报告:
**会议室
**会议室
**会议室
分组4:微分代数
(主席:李志斌)
分组5:编码与密码
(主席:邢朝平)
分组6:应用与算法(主席:齐东旭)
2:00-2:25
朝鲁
Differential Characteristic Set Algorithm for plete Symmetry Classification of PDEs
2:00-2:25
林东岱, 邓炎炎
密码学理论中的挑战
2:00-2:25