第七届全国计算机数学学术会议

2015年10月31日

Opening Ceremony 开幕式		2015年10月31日 8:30-8:40 五楼开元厅
主持人: 陈发来
8:30-8:40 第七届全国计算机数学学术会议开幕式

Keynote 大会特邀报告（一）		2015年10月31日 8:40-9:40 五楼开元厅
主持人: 夏壁灿
8:40-9:40 Differential and Difference Chow Form, Sparse Resultant, and Toric Variety 高小山（中国科学院数学与系统科学研究院）

Tea Break 茶歇 / 照相		2015年10月31日 9:40-10:10 五楼茶歇厅
9:40-10:10 茶歇 / 照相

Session(A1) 符号计算		2015年10月31日 10:10-12:10 五楼开元厅
主持人: 程进三
10:10 - 10:40 A Symbolic Computation Approach to Parameterized Controller for Active Vehicle Suspension Systems 摘要 Cao Zhong (School of Computer Science and Educational Software, Guangzhou University)
10:40 - 11:10 Computer Aided Proof for the Global Stability of a Lotka-Volterra System with Discrete Diffusions 摘要 Lu Zhengyi (Department of Mathematics, Sichuan Normal University)
11:10 - 11:40 Two Applications of the Modified Abramov-Petkovsek Reduction 摘要 Huang Hui (KLMM, AMSS, CAS)
11:40 - 12:10 On the structure of the special linear group over rings with dimension one 摘要 Liu Jinwang (Hunan University of Science and Technology)

Session(B1) 图形与几何计算		2015年10月31日 10:10-12:10 五楼永徽厅
主持人: 邓建松
10:10 - 10:40 基于隐式表示的3D打印切片引擎摘要宋艳枝 (中国科学技术大学数学科学学院)
10:40 - 11:10 Efficient Computation for Generalized Hermite Normal Form of Z[x] Lattice 摘要 Jing Ruijuan (Academy of Mathematics and Systems Science, Chinese Academy of Sciences)
11:10 - 11:40 Superfast topology optimization for 3D printing product design 摘要 Dengyang Zhao (State Key Lab of CAD&CG, Zhejiang University)
11:40 - 12:10 planar morph with quasiconformal map 摘要 Nian Xianshun (USTC)

Lunch 午餐		2015年10月31日 12:15-13:00 一楼地中海西餐厅
12:15-13:00 午餐

Keynote 大会特邀报告（二）		2015年10月31日 14:00-15:00 五楼开元厅
主持人: 李洪波
14:00-15:00 正四面体的堆积理论以及一些计算结果宗传明（北京大学）

Tea Break 茶歇		2015年10月31日 15:00-15:15 五楼茶歇厅
15:00-15:15 茶歇

Session(A2) 符号计算		2015年10月31日 15:15-18:25 五楼开元厅
主持人: 袁春明
15:15 - 15:45 代数曲线的标准黎曼度量摘要 Lei Na (Jilin University)
15:45 - 16:15 Further results on Groebner ring conjecture 摘要 Li Dongmei (Hunan University of Science and Technology)
16:15 - 16:45 Toric σ-Varieties and Toric p[σ]-Varieties 摘要王杰 (AMSS)
16:45 - 16:55 Break time
16:55 - 17:25 On the Complexity of constructing the Dixon resultant matrix 摘要 Qin Xiaolin (Chengdu Institute of Computer Applications, Chinese Academy of Sciences)
17:25 - 17:55 Sparse FGLM algorithms 摘要牟晨琪 (北京航空航天大学数学与系统科学学院)
17:55 - 18:25 An Algorithm for computing Gr ̈obner basic of polynomial ideal over Euclidean domain 摘要郑丽翠 (中南大学)

Session(B2) 图形与几何计算		2015年10月31日 15:15-18:25 五楼永徽厅
主持人: 徐晨东
15:15 - 15:45 NUAHT-IGA: isogeometric analysis using non-uniform algebraic hyperbolic trigonometric B-splines 摘要 Xu Gang (杭州电子科技大学)
15:45 - 16:15 Adaptive Weighted Extended PHT-splines in Isogeometric Analysis 摘要邓方 (USTC)
16:15 - 16:45 Unsupervised 3D shape segmentation and co-segmentation via deep learning 摘要 Shu Zhenyu (School of Information Science and Engineering, Ningbo Institute of Technology, Zhejiang University)
16:45 - 16:55 Break time
16:55 - 17:25 Some properties of a class of polynomial minimal surface with n degree 摘要 Li Cai-Yun (Dalian University of Technology)
17:25 - 17:55 A Low-rank Surface Reconstruction Algorithm Based on Hierarchical Implicit Tensor-Product B-Spline Surfaces 摘要 Pan Maodong (University of Science and Technology of China)
17:55 - 18:25 Approximation of conic section by quartic Bézier curve with endpoints continuity condition 摘要刘玉 (宁波大学)

Dinner 晚餐		2015年10月31日 18:30-19:30 一楼地中海西餐厅
18:30-19:30 晚餐

2015年11月1日

Keynote 大会特邀报告（三）		2015年11月1日 8:30-9:30 五楼开元厅
主持人: 李子明
8:30-9:30 3D打印中的几何与计算问题刘利刚（中国科学技术大学）

Tea Break 茶歇		2015年11月1日 9:30-9:45 五楼茶歇厅
9:30-9:45 茶歇

Session(A3) 数学机械化理论与算法		2015年11月1日 9:45-12:15 五楼开元厅
主持人: 雷娜
9:45 - 10:15 有限维复对称算子及UET矩阵的机械化判别算法摘要夏朋 (辽宁大学数学院)
10:15 - 10:45 动力系统中心焦点的判定方法摘要郅俊海 (中国科学院大学)
10:45 - 11:15 A Contest of Three Provers by Mathematical Olympiad Problems in Solid Geometry 摘要李洪波 (中国科学院数学与系统科学研究院)
11:15 - 11:45 任意内积空间的二向量完全正交分解的算法摘要黄雷 (AMSS)
11:45 - 12:15 Discrete chaos in fractional tent and standard maps 摘要 Xia Tiecheng (Shanghai University)

Session(B3) 计算机数学及其应用		2015年11月1日 9:45-12:15 五楼永徽厅
主持人: 蒋鲲
9:45 - 10:15 A NEW TRANSFORM FOR A KIND OF INFINITE SERIES (I): Problem、Algorithm and Examples 摘要 chen Yijun (scnu)
10:15 - 10:45 一类生物模型方程组的差分特征列方法及精确解摘要蒋鲲 (黑龙江大学)
10:45 - 11:15 Three new infinite families of bent functions 摘要 Wang Libo (Academy of Mathematics and Systems Science, Chinese Academy of Sciences)
11:15 - 11:45 A Sequential Regression Model for Big Data with Attributive Explanatory Variables 摘要 Liu Yuan (University of Science and Technology of China)
11:45 - 12:15 三维迷宫的设计与建模摘要吴文明 (中国科学技术大学数学科学学院)

Lunch 午餐		2015年11月1日 12:15-13:00 一楼地中海西餐厅
12:15-13:00 午餐

Invited Talk 邀请报告		2015年11月1日 14:00-14:45 五楼开元厅
主持人: 陈发来
14:00-14:45 题目待定梁友栋（浙江大学）

Invited Talk 邀请报告		2015年11月1日 14:45-15:30 五楼开元厅
主持人: 李子明
14:45-15:30 题目待定 Maple 公司

Tea Break 茶歇		2015年11月1日 15:30-15:45 五楼茶歇厅
15:30-15:45 茶歇

Session(A4) 数学机械化理论与算法		2015年11月1日 15:45-17:45 五楼开元厅
主持人: 贾晓红
15:45 - 16:15 InCLiM:An interactive graphical software for constructing conservation laws of nonlinear partial differential equations in Multi-dimensions 摘要 Zhao Lei (Shanghai Dianji Unviersity)
16:15 - 16:45 The good error formulas for Lagrange interpolation on Cartesian sets 摘要 Li Zhe (Changchun University of Science and Technology)
16:45 - 17:15 Solving a Class of Trigonometric--Polynomial Systems Based on Wu's Method 摘要 Huang Cheng-Chao (East China Normal University)
17:15 - 17:45 Differential Equation Database and Automatic Reasoning Platform 摘要柳银萍 (华东师范大学)

Session(B4) 计算机数学及其应用		2015年11月1日 15:45-17:45 五楼永徽厅
主持人: 童伟华
15:45 - 16:15 Alternating Direction Method of Multipliers for Inverse Problems with Multiple Measurement Vectors 摘要 Yang Jiaojiao (USTC)
16:15 - 16:45 Optimization of tool orientations for 5-axis machining based on difference graph 摘要 Mi Zhenpeng (AMSS,CAS)
16:45 - 17:15 An algorithm to compute C-space in five-axis machining (Extended Abstract) 摘要 Ma Xiaohui (School of Mathematical Sciences, University of Chinese Academy of Sciences)

Closing Ceremony 闭幕式		2015年11月1日 17:45-18:00 五楼开元厅
主持人: 李子明
17:45-18:00 闭幕式

Dinner 晚餐		2015年11月1日 18:30-19:30 一楼地中海西餐厅
18:30-19:30 晚餐