1、第五届全国计算机数学学术会议（CM2013）日程表8 月 18 日，星期日10:0020:00 注册报到18:3020:30 晚餐（一楼西餐厅）8 月 19 日，星期一8:309:00 开幕式、合影9:009:30 邀请报告 主持人：冯果忱 地点：二楼多功能厅 报告人：徐利治 (大连理工大学) 题目：我在非标准分析方面的一个工作 9:309:50 茶 歇9:5010:50 邀请报告 主持人: 高小山 地点：二楼多功能厅 报告人：顾险峰 (State University of New York at Stony Brook) 题目： Computational Conformal Geomet
2、ry: Theory, Algorithm and Applications 10:5011:10 茶 歇11:1011:50 分会 1: 数控系统 主持人：伍铁如 地点：二楼多功能厅 分会 2: 多项式系统 主持人：孙瑶 地点：一楼长春厅11:1011:30 数控数据距离可控的二次 B 样条曲线拟合(杨铮园 申立勇 袁春明)Birkhoff 插值问题极小单项基的研究(Xiaopeng Zheng, Junjie Chai, Mengci Song and Na Lei)11:3011:50 机械臂打孔/点焊作业中的最小时间路径规划(张强 李树荣 高小山)An Algorithm for th
3、e Discretization of an Ideal Projector (Xue Jiang, Shugong Zhang and Zhe Li)11:5014:30 午餐(一楼富贵厅)14:3015:50 分会 3: 编码，密码与数据(1) 主持人：邓映浦 地点：二楼多功能厅 分会 4: 符号计算(1) 主持人：曾广兴 地点：一楼长春厅14:3014:50 New classes of quadratic bent functions in polynomial forms(Baofeng Wu, Jia Zheng and Zhuojun Liu)On Lin-Bose proble
4、m (Jinwang Liu, Dongmei Li and Licui Zheng)14:5015:10 R-LWE 的一个经典约化(王晗 刘卓军 王明生)Resultant Eliminations via Implicit Equation Interpolation(Min Tang, Min Wu, Zhengfeng Yang and Zhenbing Zeng)15:1015:30 一种基于正交函数系的时间序列聚类方法(范玉涛 谢福鼎)A method to compute all maximal independent sets modulo a polynomial idea
5、l (Baoxin Shang, Shugong Zhang, Na Lei)15:3015:50 Dembowski-Ostrom polynomial from reversed Dickson polynomials(Xiaoming Zhang, Baofeng Wu and Zhuojun Liu)Decomposition Unstable Variety and Comprehensive Triangular Decomposition (Zhenghong Chen, Xiaoxian Tang and Bican Xia)15:5016:20 茶 歇16:2017:40 分
6、会 3: 编码，密码与数据(2) 主持人：唐春明 地点：二楼多功能厅 分会 4: 符号计算(2) 主持人：于 波 地点：一楼长春厅16:2016:40 New constructions of Boolean functions with optimal algebraic immunity based on the Tu-Deng conjecture(Jia Zheng, Baofeng Wu, Yufu Chen)唯一分解整环上的矩阵分解问题(李冬梅 刘金旺)16:4017:00 Mathematical Structure of the Function Generators of t
7、he V-Multiwavelet(Ruixia Song, Xiaochun Wang, Chenghua Li and Qi Dongxu)Compute Block-Triangular Form of a Class of Matrix over Laurent-Ore Algebra(Lanlan Liu and Meng Zhou)17:0017:20 The generalized Giachetti-Johnson hierarchy,nonlinear integrable couplings and algebro-geometric solutions of the co
8、upled KdV-MKdV equation(夏铁成 岳超)Refinements on Approximate Reachability of Linear Systems(Ming Xu, Yinping Liu and Zhibin Li)17:2017:40 An improved embedded zerotree wavelet compression coding(崔宝侠 林行)18:0020:00 晚餐(一楼富贵厅)8 月 20 日，星期二8:309:30 邀请报告 主持人：张树功 地点：二楼多功能厅报告人：王仁宏 (大连理工大学) 题目：分片代数簇中的一些论题 9:309:
9、50 茶 歇9:5010:50 邀请报告 主持人：王定康 地点：二楼多功能厅报告人：齐东旭 (澳门科技大学) 题目：On the Problem of Global Grid Systems 10:5011:10 茶 歇11:1011:50 分会 5: 计算几何 主持人：申立勇 地点：二楼多功能厅 分会 6: 方程求解 主持人：吴 敏 地点：一楼长春厅11:1011:30 Determination of Parametrization Boundary with Minimal Distortion(Xiumei Li, Zhongxuan Luo and Junxiao Xue)Isoto
10、pic e-Meshing of Real Algebraic Space Curves(Jin-San Cheng, Kai Jin and Xiao-Shan Gao) 11:3011:50 用矩形区域剖分计算 9 个点的 Heilbronn 分布(Liangyu Chen, Yaochen Xu and Zhenbing Zeng)Root classifications and simple solution formulas for quartic equations (Songxin Liang)11:5013:40 午餐(一楼富贵厅)14:0014:45 符号计算在多学科工程系统
11、仿真和控制设计中的应用 报告人：徐俊林 (CYBERNET(莎益博) 主持人：雷娜 地点：二楼多功能厅14:4515:00 茶 歇15:0016:00 分会 7: 数值与算法(1) 主持人：刘金旺 地点：二楼多功能厅 分会 8: 计算机教育专题 主持人：待定 地点：一楼长春厅15:0015:20 Computing genus upper bounds for plane algebraic curves via a symbolic-numeric algorithm(Xiaoli Wu)计算机技术与数学教育(张景中 饶永生)15:2015:40 多元 Birkhoff 插值的 Lagran
12、ge 型基函数(徐莉莉 雷娜) 基于 web 的矢量绘图技术在数理化中的研发实践(胡中传)14:4015:00 Symmetric homotopy method for elliptic equations with cubic and quintic nonlinearities(Xu-Ping Zhang, Bo Yu and Jin-Tao Zhang)GeometryEditor：一个基于 Web 和手持设备的动态几何教学软件(苏伟) 16:0016:20 茶 歇16:2017:20 分会 7: 数值与算法(2) 主持人：谢福鼎 地点：二楼多功能厅 分会 8: 计算机教育专题 主持人
13、：待定 地点：一楼长春厅16:2016:40 An Two-Dimensional Improvement for Farr-Gao Algorithm(Tian Dong) 初等代数证明题答案的自动检测方法研究(李宾)16:4017:00 直接多胞体同伦求解混合三角多项式方程组(王崇岐 董波 于波) 开放式数学知识资源分享平台(陈肖宇)17:0017:20 Almost vanishing polynomials for semi-empirical point sets(Haifeng Sang, Shugong Zhang and Qingchun Li)MathEdit：一个基于 We
14、b 和手持设备的数学公式编辑平台(苏伟) 17:2020:00 晚餐(一楼富贵厅)8 月 21 日，星期三8:309:30 邀请报告 主持人：李子明 地点：二楼多功能厅报告人：段海豹 (中国科学院数学与系统科学研究院) 题目：Schubert calculus and cohomologies of Lie groups 9:309:50 茶 歇9:5010:50 分会 9:可信计算(1) 主持人：陈玉福 地点：二楼多功能厅 分会 10: 微分，差分与积分(1) 主持人：冯如勇 地点：一楼长春厅9:5010:10 多变元多项式系统实零点的可信计算(Yaohui Li)An Algorithm
15、for Decomposing Multivariate Hypergeometric Terms(Yi Zhang and Ziming Li)10:1010:30 结构矩阵奇异性的可信性验证(Zhe Li，Qi Liu) Difference Chow Form(Xiaoshan Gao, Wei Li and Yinghong Li)10:3010:50 导数的误差可控计算(Zhao Shizhong) Residues and Telescopers for Bivariate Hyperexponential Functions(Shaoshi Chen and Michael F.
16、 Singer)10:5011:10 茶 歇11:1011:50 分会 9:可信计算(2) 主持人：蒋鲲 地点：二楼多功能厅 分会 10: 微分，差分与积分(2) 主持人：袁春明 地点：一楼长春厅11:1011:30 A Geometry Prover Based on Combined Probabilistic Checking Model(Mingyan Chen and Zhenbing Zeng)An Improvement of the Abramov-Petkovsek Reduction for Hypergeometric terms (Hui Huang and Ziming Li)11:3011:50 Exact Safety Verification of Interval Hybrid Systems Based on Symbolic-Numeric Computation(Zhengfeng Yang, Min Wu and Wang Lin) 基于 WZ 理论框架 Dirichlet 积分的推广(陈奕俊)11:5013:00 午餐(一楼富贵厅)13:0018:00 参观农博会18:0020:00 晚餐（大鹅岛绿色生态园）
