Computer Mathematics, Softcover reprint of the original 1st ed. 2014
9th Asian Symposium (ASCM2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM2012), Beijing, October 2012, Contributed Papers and Invited Talks

Sparse Polynomial Interpolation by Variable Shift in the Presence of Noise and Outliers in the Evaluations.- An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions.- Finding the Symbolic Solution of a Geometric Problem through Numeric Computations.- A Simple Quantifier-free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms.- The vanishing ideal of a finite set of points with multiplicity structures.- Signature-based Method of Deciding Program Termination.- High-precision eigenvalue bound for the Laplacian with singularities.- Degree and dimension estimates for invariant ideals of P-solvable recurrences.- POLY : A new polynomial data structure for Maple 17.- A Symbolic Approach to Compute a Null-Space Basis in the Projection Method.- Real Root Isolation of Polynomial Equations Based on Hybrid Computation.- Overview of the Mathemagix type system.- Resultant-Free Computation of Indefinite Hyperexponential Integrals.- ImUp: A Maple Package for Uniformity-Improved Reparameterization of Plane Curves.- The Diagonal Reduction Algorithm Using Fast Givens.- Constructing Generalized Bent Functions from Trace Forms over Galois Rings.- Matrix Formula of Differential Resultant for First Order Generic Ordinary Differential Polynomials.- Simplification of the lattice based attack of Boneh and Durfee for RSA cryptoanalysis.- A Practical Implementation of a Modular Algorithm for Ore Polynomial Matrices.- Computing Popov Forms of Matrices over PBW Extensions.- On the simplest quartic fields and related Thue equations.- On the Implementation of Boolean Gröbner Bases.- Towards the calculation of Casimir forces for inhomogeneous planar media.- Comprehensive Gröbner Bases in a Java Computer Algebra System.- A Symbolic Approach to Compute a Null-Space Basis in the Projection Method.- Real Root Isolation of Regular Chains.- A Practical Method for Floating-point Groebner Basis Computation.- Series-Expansion of Multivariate Algebraic Functions at Singular Points: Nonmonic Case.- A Sequence of Nearest Polynomials with Given Factors.- Digitisation Workflow in the Czech Digital Mathematics Library.- The Implementation and Complexity Analysis of the Branch Gröbner Bases Algorithm over Boolean Ring.

Cover original research and latest advances in computer mathematics

Contain computational aspects of mathematics and their applications

Apply symbolic computation to scientific and engineering computing

Includes supplementary material: sn.pub/extras