ASCM

Publications

2014

Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, Japan, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, China, October 2012, Contributed Papers and Invited Talks ASCM (2014)

2012

Josef Schicho
Factorization of Motions. ASCM (2012)
Xuefeng Liu, Tomoaki Okayama, Shin'ichi Oishi
High-Precision Eigenvalue Bound for the Laplacian with Singularities. ASCM (2012)
Zhi-Yong Zhang, Chun-Ming Yuan, Xiao-Shan Gao
Matrix Formulae of Differential Resultant for First Order Generic Ordinary Differential Polynomials. ASCM (2012)
Brice Boyer, Matthew T. Comer, Erich L. Kaltofen
Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations. ASCM (2012)
Erich L. Kaltofen
Symbolic Computation and Complexity Theory Transcript of My Talk. ASCM (2012)
Mark Giesbrecht, Nam Pham
A Symbolic Approach to Compute a Null-Space Basis in the Projection Method. ASCM (2012)
Michael B. Monagan, Roman Pearce
POLY: A New Polynomial Data Structure for Maple 17. ASCM (2012)
Yaohui Li, Yuqing Song, Zhifeng Wu
Signature-Based Method of Deciding Program Termination. ASCM (2012)
Xiaoming Zhang, Baofeng Wu, Qingfang Jin, Zhuojun Liu
Constructing Generalized Bent Functions from Trace Forms of Galois Rings. ASCM (2012)
Na Lei, Xiaopeng Zheng, Yuxue Ren
The Vanishing Ideal of a Finite Set of Points with Multiplicity Structures. ASCM (2012)
Marc Moreno Maza, Rong Xiao
Degree and Dimension Estimates for Invariant Ideals of \(P\) -Solvable Recurrences. ASCM (2012)
Changbo Chen, Marc Moreno Maza
An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. ASCM (2012)
Wen Zhang, Sanzheng Qiao, Yimin Wei
The Diagonal Reduction Algorithm Using Fast Givens. ASCM (2012)
Liangyu Chen, Tuo Leng, Liyong Shen, Min Wu, Zhengfeng Yang, Zhenbing Zeng
Finding the Symbolic Solution of a Geometric Problem Through Numerical Computations. ASCM (2012)
Jing Yang, Dongming Wang, Hoon Hong
ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves. ASCM (2012)
Joris van der Hoeven
Overview of the Mathemagix Type System. ASCM (2012)
Fei Shen, Wenyuan Wu, Bican Xia
Real Root Isolation of Polynomial Equations Based on Hybrid Computation. ASCM (2012)
Xiaoli Wu
Resultant-Free Computation of Indefinite Hyperexponential Integrals. ASCM (2012)
Jingjun Han
A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms. ASCM (2012)