Sign in
ASCM
2007
2009
2012
2014
2007
2014
Keyphrases
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)
2009
Petr Sojka
Digitization Workflow in the Czech Digital Mathematics Library.
ASCM
(2009)
François Boulier
,
Changbo Chen
,
François Lemaire
,
Marc Moreno Maza
Real Root Isolation of Regular Chains.
ASCM
(2009)
Howard Cheng
,
George Labahn
A Practical Implementation of a Modular Algorithm for Ore Polynomial Matrices.
ASCM
(2009)
Yoshinori Aono
Simplification of the Lattice Based Attack of Boneh and Durfee for RSA Cryptoanalysis.
ASCM
(2009)
Heinz Kredel
Comprehensive Gröbner Bases in a Java Computer Algebra System.
ASCM
(2009)
Akinari Hoshi
On the Simplest Quartic Fields and Related Thue Equations.
ASCM
(2009)
Mark Giesbrecht
,
George Labahn
,
Yang Zhang
Computing Popov Forms of Matrices Over PBW Extensions.
ASCM
(2009)
Tateaki Sasaki
,
Daiju Inaba
Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case.
ASCM
(2009)
Shutaro Inoue
,
Akira Nagai
On the Implementation of Boolean Gröbner Bases.
ASCM
(2009)
Tateaki Sasaki
A Practical Method for Floating-Point Gröbner Basis Computation.
ASCM
(2009)
Hiroshi Sekigawa
A Sequence of Nearest Polynomials with Given Factors.
ASCM
(2009)
C. Xiong
,
Thomas W. Kelsey
,
Stephen A. Linton
,
Ulf Leonhardt
Towards the Calculation of Casimir Forces for Inhomogeneous Planar Media.
ASCM
(2009)
Yao Sun
,
Dingkang Wang
The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm Over Boolean Polynomial Rings.
ASCM
(2009)
volume 5081, 2008
Computer Mathematics, 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers
ASCM
5081 (2008)
2007
Mohab Safey El Din
Practical and Theoretical Issues for the Computation of Generalized Critical Values of a Polynomial Mapping.
ASCM
(2007)
Yosuke Sato
,
Akira Nagai
,
Shutaro Inoue
On the Computation of Elimination Ideals of Boolean Polynomial Rings.
ASCM
(2007)
Zhibin Li
,
Yinping Liu
,
Haifeng Qian
A Method and Its Implementation for Constructing Bäcklund Transformations to Nonlinear Evolution Equations.
ASCM
(2007)
Jia Li
,
Xiao-Shan Gao
A Modified Van der Waerden Algorithm to Decompose Algebraic Varieties and Zero-Dimensional Radical Ideals.
ASCM
(2007)
Manfred Minimair
Basis-Independent Polynomial Division Algorithm Applied to Division in Lagrange and Bernstein Basis.
ASCM
(2007)
Songxin Liang
,
David J. Jeffrey
Unconstrained Parametric Minimization of a Polynomial: Approximate and Exact.
ASCM
(2007)
Basem S. Attili
An Efficient Fourth Order Implicit Runge-Kutta Algorithm for Second Order Systems.
ASCM
(2007)
Feifei Ma
,
Jian Zhang
Computer Search for Large Sets of Idempotent Quasigroups.
ASCM
(2007)
Heinz Kredel
Evaluation of a Java Computer Algebra System.
ASCM
(2007)
Gui-Lin Zhang
,
Xiao-Shan Gao
Properties of Ascending Chains for Partial Difference Polynomial Systems.
ASCM
(2007)
Suvra Sarkar
,
Sougata Patra
Laplace Equation Inside a Cylinder: Computational Analysis and Asymptotic Behavior of the Solution.
ASCM
(2007)
Banghe Li
,
Dingkang Wang
An Algorithm for Transforming Regular Chain into Normal Chain.
ASCM
(2007)
Seripah Awang Kechil
,
Ishak Hashim
Symbolic Solution to Magnetohydrodynamic Hiemenz Flow in Porous Media.
ASCM
(2007)
Hiroshi Sekigawa
The Nearest Real Polynomial with a Real Multiple Zero in a Given Real Interval.
ASCM
(2007)
Nor'aini Aris
,
Shamsatun Nahar Ahmad
Computing the Greatest Common Divisor of Polynomials Using the Comrade Matrix.
ASCM
(2007)
Hendra Gunawan
,
F. Pranolo
,
E. Rusyaman
An Interpolation Method That Minimizes an Energy Integral of Fractional Order.
ASCM
(2007)