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