首页| English| 中国科学院
当前位置:首页>新增>ASCM>ASCM'12>PROGRAM

program

副标题:

时间:2016-01-14  来源:

ASCM2012 Program

You may find the pdf copy of the program and abstracts here.

Notes

  • The registration desk opens in the front of the conference hall of Siyuan Building on Thursday, October 25 from 14:00 to 17:00 and Friday, October 26 from 8:00 to 8:50
  • The conference hall locates on the ground floor of Siyuan Building
  • Room 703 and Room 712 locate on the seventh floor of Siyuan Building
  • The banquet takes place in Quanjude Restaurant at 18:30, October 27. Quanjude Restaurant locates at TrusPark Building A, No.1 Zhongguancun East Road, and the telephone number is 86-10-8215-0018. Local organizers will guide the participants to the restaurant from Siyuan Building around 18:00
  • Lunches and Dinners are servced at Wuke Restaurant, fourth floor. If you have any dietary requirement, please contact Dr. Chun-Ming Yuan (cmyuan@mmrc.iss.ac.cn).
Thursday, October 25
14:00–17:00 Registration
 
Friday, October 26
8:00–8:50 Registration
8:50–9:00 Opening Remarks in the conference hall
 
9:00–10:00 Plenary Talk in the conference hall
  Erich Kaltofen
Symbolic Computation and Complexity Theory
10:00–10:30 Tea Break at the conference hall
 
  Room 703 Conference Hall
  Regular Session Organized Session: Computational Geometry
10:30–11:00 Yaohui Li
Signature-based Method of Deciding Program Termination (slides)
Bernard Mourrain
Subdivision Methods in Geometric Modeling
(one hour talk)
11:00–11:30 Xiaoming Zhang, Zhuojun Liu, Baofeng Wu and Qinfang Jin
Constructing Generalized Bent Functions from Trace Forms over Galois Rings (slides)
 
11:30–12:00 Hantao Zhang and Jian Zhang
Finding Conjugate Orthogonal Diagonal Latin Squares Using Finite Model Generators (slides)
Elias Tsigaridas
Univariate Real Root Isolation in Extension Field and Applications to Topology of Curves
12:00–14:00 Lunch at Wuke Restaurant (fourth floor)
 
  Regular Session Organized Session: Computational Geometry
14:00–14:30 Xiaoli Wu
A Note on the Almkvist--Zeilberger Algorithm (slides)
Liyong Shen
Numerical Reparametrization of Rational Parametric Plane Curves (slides)
14:30–15:00   Xiaoran Shi
Using μ-bases to Implicitize Rational Surfaces with a Pair of Orthogonal Directrices (slides)
15:00–15:20 Tea Break on the seventh floor Tea Break at the conference hall
 
  Regular Session Organized Session: Parametric Polynomial Computations
15:20–15:50 Brice Boyer, Matthew Comer and Erich Kaltofen
Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations
Katsusuke Nabeshima and Shinichi Tajima
Algebraic Local Cohomology Classes Associated with Semi-quasihomogeneous Singularities (slides)
15:50–16:20 Vincent Neiger, Muhammad F. I. Chowdhury, Claude-Pierre Jeannerod, Éric Schost and Gilles Villard
On the Complexity of Multivariate Interpolation with Multiplicities and of Simultaneous Polynomial Approximations
Shutaro Inoue
Parametric Approaches to Combinatorial Problems
16:20–16:40 Tea Break on the seventh floor Tea Break at the conference hall
 
  Regular Session Organized Session: Parametric Polynomial Computations
16:40–17:10 Liangyu Chen, Liyong Shen, Min Wu, Zhengfeng Yang and Zhenbing Zeng
Finding the Symbolic Solution of a Geometric Optimization Problem through Numeric Computations
Dingkang Wang
Computation of Zero Divisors in Residue Class Rings of Parametric Polynomial Ideal
17:10–17:40 Nam Pham and Mark Giesbrecht
A Symbolic Computation Approach to the Projection Method (slides)
Yosuke Sato
Stability of Gröbner Bases in Terms of a Commutative von Neumann Regular Ring
17:40–19:30 Dinner at Wuke Restaurant (fourth floor)
 
Saturday, October 27
9:00–10:00 Plenary Talk in the conference hall
  Markus Püschel
Automatic Discovery of Transform Algorithms (slides)
10:00–10:30 Tea Break at the conference hall
 
  Room 703 Room 712
  Regular Session Organized Session:Differential and Difference Algebra
10:30–11:00 Na Lei, Xiaopeng Zheng and Yuxue Ren
The Vanishing Ideal of a Finite Set of Points with Multiplicity Structure (slides)
Yongjae Cha and Mark van Hoeij
Rational Elements of the Tensor Product of Solutions of Difference Operators
11:00–11:30 Yongwen Hou and Bo Yu
A Homotopy Method for Computing All Isolated Solvents of a Quadratic Matrix Equation AX^2+BX+C=0 (slides)
Mingbo Zhang
Factorization of Differential Operators with Ordinary Differential Polynomial Coefficients (slides)
11:30–12:00 Fei Shen, Wenyuan Wu and Bican Xia
Real Root Isolation of Polynomial Equations Based on Hybrid Computation (slides)
Maximilian Jaroschek
Improved Polynomial Remainder Sequences for Ore Polynomials
12:00–14:00 Lunch at Wuke Restaurant (fourth floor)
 
  Regular Session Organized Session: On The Latest Progress In Verified Computation
14:00–14:30 Joris van der Hoeven
Overview of the Mathemagix type system (slides)
Masaaki Kanno
Towards Guaranteed Accuracy Computations in Control (slides)
14:30–15:00 Jing Yang, Dongming Wang and Hoon Hong
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves (slides)
Zhengfeng Yang
Exact Safety Verification of Hybrid Systems Based on Hybrid Symbolic-Numeric Computation
15:00–15:30 Michael Monagan and Roman Pearce
POLY : A New Polynomial Data Structure for Maple (slides)
Zhengyu Wang
Computer-Assisted Proof of Existence of Nash Equilibrium (slides)
15:30–15:50 Tea Break on the seventh floor Tea Break on the seventh floor
 
  Regular Session Organized Session: On The Latest Progress In Verified Computation
15:50–16:20 Changbo Chen and Marc Moreno Maza
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions (slides)
Hiroshi Sekigawa
Computing the Nearest Real Univariate Polynomial with a Real Multiple Zero and Its Application (slides)
16:20–16:50 Jingjun Han
A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms (slides)
Mohab Safey El Din and Aurélien Greuet
Exact Polynomial Optimization: Algorithms, Complexity and Implementation
16:50–17:20 Marc Moreno Maza and Rong Xiao
Generating Loop Invariants via Polynomial Interpolation (slides)
Nan Li and Lihong Zhi
Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems
17:20–17:30 Break
  Industrial Partners Presentation in the conference hall
17:30–18:00 Junlin Xu
Symbolic Computation Techniques for Advanced Mathematical Modeling
18:30–20:30 Banquet at Quanjude Restaurant
(Building A, No.1 Zhongguancun East Road, Haidian District)
(Local organizers will guide the participants to the restaurant from Siyuan Building around 18:00)
 
Sunday, October 28
9:00–10:00 Plenary Talk in the conference hall
  Josef Schicho
Factorization of Motions in 3D Space into Rotations/Translations (slides)
10:00–10:20 Tea Break on the seventh floor
 
  Room 703 Room 712
  Regular Session Organized Session: On The Latest Progress In Verified Computation
10:20–10:50 Jianqin Mei and Haiyan Wang
The Differential Invariant Algebra of an Integrable rmdKP Equations
Wen Zhang, Sanzheng Qiao and Yimin Wei
The Diagonal Reduction Algorithm Using Fast Givens
10:50–11:20 Hongqing Zhang and Shoufu Tian
On the Model AC=BD and Trigram Structures of the Soliton Theory (slides)
Akitoshi Takayasu, Xuefeng Liu and Shin'ichi Oishi
Verified Computations for Elliptic Boundary Value Problems on Arbitrary Polygonal Domains
11:20–11:50 Zhi-Yong Zhang, Chun-Ming Yuan and Xiao-Shan Gao
Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials (slides)
Xuefeng Liu and Shin'ichi Oishi
On High Precision Eigenvalue Estimation for Self-adjoint Elliptic Differential Operator and Its Application
12:00–14:00 Lunch at Wuke Restaurant (fourth floor)