数学机械化重点实验室有4篇文章被2012年度国际符号和代数计算会议(ISSAC)接受
副标题：
时间：2012-03-05 来源：数学机械化重点实验室
即将于法国Grenoble召开的第37届国际符号和代数计算会议(ACM ISSAC'12)上，本实验室有4篇论文被接收。ISSAC是符号和代数计算方面最权威的国际会议。4篇被接收论文是：
1) Alin Bostan, Frederic Chyzak, Ziming Li, Bruno Salvy: Fast Computation of Common Left Multiples of Linear Ordinary Differential Operators.
2) Xiaodong Ma, Yao Sun, Dingkang Wang and Yang Zhang: A Signature-Based Algorithm for Computing Groebner Bases in Solvable Polynomial
Algebras.
3) Feng Guo, Erich Kaltofen and Lihong Zhi: Certificates of Impossibility of Hilbert-Artin Representations of a Given Degree for Definite Polynomials
and Functions.
4) Yue Ma and Lihong Zhi: Computing Real Solutions of Polynomial Systems via Low-Rank Moment Matrix Completion.
