Nov 10

注册报到		Nov 10 10:00-23:00   明华国际会议中心大厅
10:00-23:00 注册报到

Dinner    晚餐		Nov 10 18:00-20:30   24楼聚味轩
18:30-20:30 晚餐

Nov 11

Opening Ceremony    开幕式		Nov 11 8:30-8:40   C座3楼报告厅
8:30-8:40 第八届全国计算机数学学术会议开幕式

Keynote    大会特邀报告（一）		Nov 11 8:40-9:40   C座3楼报告厅
主持人: 李洪波
8:40-9:40 Numerical Sparsity Determination and Early Termination 支丽红(中国科学院数学与系统科学研究院)

Tea Break    茶歇/照相		Nov 11 9:40-10:10   茶歇厅
9:40-10:10 茶歇/照相

Session（A1）    符号计算		Nov 11 10:10-12:10   C座3楼报告厅
主持人: 张智勇
10:10 - 10:40 Darboux transformation and localized wave solutions for defocusing coupled nonlinear Schrodinger equations   摘要 张国强 (中国科学院数学与系统科学研究院)
10:40 - 11:10 Surface Morphing Based on Optimal Mass Transportation   摘要 Na Lei (Dalian University of Technology)
11:10 - 11:40 Multivariate Numerical Differentiation   摘要 Xia Peng (Liaoning University)
11:40 - 12:10 An Efficient Evaluation of Trigamma and Tetragamma Functions   摘要 Hou Yuan (华东师范大学)

Session（B1）    符号计算		Nov 11 10:10-12:10   C座2楼明锋厅
主持人: 王定康
10:10 - 10:40 on constructions of involutoty MDS matrices with block Cauchy matrices   摘要 李秋萍 (中科院数学与系统科学研究呀)
10:40 - 11:10 Dynamical Groebner bases   摘要 Li Dongmei (Hunan University of Science and Technology)
11:10 - 11:40 Fractional Two Dimensional Discrete Chaotic Maps and their applications to theinformation security with Elliptic curve Public Key Cryptography   摘要 Xia Tiecheng (Shanghai University)
11:40 - 12:10 The Lightest 4x4 MDS Matrices over GL(4, $\mathbb{F}_2$)   摘要 白剑 (中国科学院数学与系统科学研究院)

Lunch    午餐		Nov 11 12:15-13:00   一楼明华轩
12:15-13:00 午餐

Keynote    大会特邀报告（二）		Nov 11 14:00-15:00   C座3楼报告厅
主持人: 雷娜
14:00-15:00 基于影像数据的智能医疗决策 杨周旺(中国科学技术大学)

Tea Break    茶歇		Nov 11 15:00-15:15   茶歇厅
15:00-15:15 茶歇

Session（A2）    图形与几何计算		Nov 11 15:15-18:00   C座3楼报告厅
主持人: 贾晓红
15:15 - 15:45 Mu-bases for canal surfaces   摘要 姚姗姗 (中科院数学院)
15:45 - 16:15 Construction of Bezier surface by Bezier asymptotic quadrilateral   摘要 Wang Hui (Dalian University of Technology)
16:15 - 16:45 Certified space curve fitting and trajectory planning for CNC machining with cubic B-splines   摘要 林凤鸣 (中国科学院大学)
16:45 - 16:55 休息时间
16:55 - 17:25 An Adaptive Numerical Computation Approach for Nonlinear Constrained Optimal Control Problems   摘要 Li Shurong (China University of Petroleum (East China))
17:25 - 17:55 Geometric conditions of non-self-intersecting NURBS surfaces   摘要 Zhao Xuan-Yi (Dalian University of Technology)

Session（B2）    符号计算		Nov 11 15:15-18:00   C座2楼明锋厅
主持人: 冯如勇
15:15 - 15:45 Index reduction of differential algebraic equations by differential algebraic elimination   摘要 Xiaolin Qin (Chengdu Institute of Computer Applications, Chinese Academy of Sciences)
15:45 - 16:15 Computation of invariant curves and indentifying the type of critical point   摘要 ZHI Junhai (University of Chinese Academy of Sciences)
16:15 - 16:45 An Online Computing and Knowledge Platform for Differential Equations   摘要 柳银萍 (华东师范大学)
16:45 - 16:55 休息时间
16:55 - 17:25 Difference Index of Difference Algebraic Systems   摘要 王杰 (数学与系统科学研究院)
17:25 - 17:55 差分二项正规理想的Groebner基的有限性判别   摘要 陈俣翱 (中国科学院数学与系统科学研究院)

Session (C)    全国计算机数学专业委员会会议		Nov 11 18:00-18:30   C座3楼报告厅
主持人: 李子明
18:00-18:30 全国计算机数学专业委员会会议

Dinner    晚宴		Nov 11 18:30-19:30   一楼明华轩
18:30-19:30 晚宴

Nov 12

Keynote    大会特邀报告（三）		Nov 12 8:30-9:30   C座3楼报告厅
主持人: 侯庆虎
8:30-9:30 有限域上迹的研究 张耀祖(台湾义守大学)

Tea Break    茶歇		Nov 12 9:30-9:45   茶歇厅
9:30-9:45 茶歇

Session（A3）    符号计算		Nov 12 9:45-11:45   C座3楼报告厅
主持人: 李伟
9:45 - 10:15 Modified Abramov-Petkovsek Reduction for q-Hypergeometric Terms   摘要 杜昊 (中科院数学与系统科学研究院)
10:15 - 10:45 A New Method For Verifying the Isolated Singular Zeros of Polynomial Systems   摘要 Dou Xiaojie (KLMM，AMSS)
10:45 - 11:15 Computation of Sparse Approximate Greatest Common Divisor of Univariate Polynomials   摘要 李冰玉 (东北师范大学)
11:15 - 11:45 线性四元数方程组的简单形式解   摘要 黄雷 (中科院数学与系统科学研究院)

Session（B3）    符号计算		Nov 12 9:45-11:45   C座2楼明锋厅
主持人: 李明
9:45 - 10:15 Robust stability analysis of systems via parameter-dependent Lyapunov functions   摘要 郭来刚 (中国科学院大学)
10:15 - 10:45 Decomposing and solving U-prime ideals   摘要 尚宝欣 (吉林大学)
10:45 - 11:15 New Results on A Class of Multivariate Polynomial Matrix Factorizations   摘要 鲁东 (中国科学院数学与系统科学研究院)
11:15 - 11:45 Verified Error Bounds for Eigenvalues of Geometric Multiplicity q   摘要 Li Zhe (Changchun University of Science and Technology)

Lunch    午餐		Nov 12 12:00-13:00   一楼明华轩
12:00-13:00 午餐

Keynote    大会特邀报告（四）		Nov 12 14:00-15:00   C座3楼报告厅
主持人: 李子明
14:00-15:00 Maplesoft符号计算技术和应用最新进展 徐俊林

Tea Break    茶歇		Nov 12 15:00-15:15   茶歇厅
15:00-15:15 茶歇

Session（A4）    计算机数学及其应用		Nov 12 15:15-18:00   C座3楼报告厅
主持人: 李文婷
15:15 - 15:45 tridecGF 与 normsys: 三角分解软件包 Epsilon 的新模块   摘要 董日娜 (北京航空航天大学)
15:45 - 16:15 Costas拉丁方的计算机搜索   摘要 吕亦奇 (中国科学院软件研究所计算机科学国家重点实验室)
16:15 - 16:45 括号代数中 Rota 拉直算法的改进   摘要 邵长鹏 (中国科学院数学与系统科学院研究院)
16:45 - 16:55 休息时间
16:55 - 17:25 Nonconvex Regularization for Group Sparse Optimization   摘要 胡耀华 (深圳大学)
17:25 - 17:55 Low Rank Matrix Recovery by L21 Loss Function   摘要 李吉 (北京化工大学)

Session（B4）    符号计算		Nov 12 15:15-18:00   C座2楼明锋厅
主持人: 袁春明
15:15 - 15:45 Normalization in Riemann tensor polynomial ring   摘要 刘姜 (上海理工大学)
15:45 - 16:15 Finding Real Zeros of Polynomial Systems by Wu's Method   摘要 曾广兴 (南昌大学)
16:15 - 16:45 基于WZ理论框架的一个与(广义)Lambert级数相关的恒等式及其推广   摘要 陈奕俊 (华南师范大学数学科学学院)
16:45 - 16:55 休息时间
16:55 - 17:25 A simplified proof for two types of extraneous factors in Dixon resultants   摘要 Zhao Shizhong (East China Normal University)
17:25 - 17:55 Symbolic computation of a matrix power   摘要 杨士俊 (浙江工商大学)
17:55 - 18:25 On Numerical PSLQ Algorithm   摘要 Feng Yong (Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences)

Closing Ceremony    闭幕式		Nov 12 18:00-18:10   C座3楼报告厅
主持人: 支丽红
18:00-18:10 第八届全国计算机数学学术会议闭幕式

Dinner    晚餐

Nov 12 18:30-19:30   一楼明华轩

Nov13

自由活动		Nov13 8:30-12:00   深圳
8:30-12:00 自由活动

Lunch    午餐		Nov13 12:00-13:00   一楼明华轩
12:00-13:00 午餐

自由活动		Nov13 14:00-18:00   深圳
14:00-18:00 自由活动

Dinner    晚餐		Nov13 18:30-20:30   24楼聚味轩
18:30-20:30 晚餐