首页| English| 中国科学院

Accepted talks

副标题:

时间:2016-01-14  来源:

List of Accepted Talks

  • Brice Boyer, Matthew Comer and Erich Kaltofen. Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations
  • Yongjae Cha and Mark van Hoeij. Rational Elements of the Tensor Product of Solutions of Difference Operators
  • Changbo Chen and Marc Moreno Maza. An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions
  • Liangyu Chen, Liyong Shen, Min Wu, Zhengfeng Yang and Zhenbing Zeng. Finding the Symbolic Solution of a Geometric Optimization Problem through Numeric Computations
  • Yijun Chen. A New Formula for the Values of Dirichlet Beta Function at Odd Positive Integers Based on the WZ Method
  • Jingjun Han. A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms
  • Yongwen Hou and Bo Yu. A homotopy method for computing all isolated solvents of a quadratic matrix equation AX^2+BX+C=0
  • Na Lei, Xiaopeng Zheng and Yuxue Ren. The vanishing ideal of a finite set of points with multiplicity structure
  • Yaohui Li. Signature-based Method of Deciding Program Termination
  • Jianqin Mei and Haiyan Wang. The differential invariant algebra of an integrable rmdKP equations
  • Michael Monagan and Roman Pearce. POLY : A new polynomial data structure for Maple
  • Marc Moreno Maza and Rong Xiao. Degree and dimension estimates for invariant ideals of $P$-solvable recurrences
  • 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
  • Nam Pham and Mark Giesbrecht. A Symbolic Computation Approach to the Projection Method
  • Fei Shen, Wenyuan Wu and Bican Xia. Real Root Isolation of Polynomial Equations Based on Hybrid Computation
  • Joris van der Hoeven. Overview of the Mathemagix type system
  • Xiaoli Wu. A Note on the Almkvist--Zeilberger Algorithm
  • Jing Yang, Dongming Wang and Hoon Hong. ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves
  • Hantao Zhang and Jian Zhang. Finding Conjugate Orthogonal Diagonal Latin Squares Using Finite Model Generators
  • Hongqing Zhang and Shoufu Tian. On the Model AC=BD and Trigram Structures of the Soliton Theory
  • Xiaoming Zhang, Zhuojun Liu, Baofeng Wu and Qinfang Jin. Constructing Generalized Bent Functions from Trace Forms over Galois Rings
  • Zhi-Yong Zhang, Chun-Ming Yuan and Xiao-Shan Gao. Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials