List of accepted papers

Barry Dayton. Numerical Calculation of Sbases for Positive dimensional varieties

Chenyi Hu. Interval Function and Its Linear LeastSquares Approximation

Johannes Grotendorst. On Calculating the Rate of Linear Convergence of NonLinear Transformed Sequences

Tateaki Sasaki and Daiju Inaba. A Study of Hensel Series in General Case

Madalina Hodorog and Josef Schicho. A Regularization Method for Computing Approximate Invariants of Plane Curves Singularities

TszWo Sze. SchÃ¶nhageStrassen Algorithm with MapReduce for Multiplying Terabit Integers

Kosaku Nagasaka. An improvement in the lattice construction process of Approximate Polynomial GCD over Integers

FranÃ§oise RichardJung. Stokes phenomenon : graphical visualization and certified computation

Paola Boito and Olivier Ruatta. Extended companion matrix for approximate GCD

Nargol Rezvani and Robert M. Corless. Using weighted norms to find nearest polynomials satisfying linear constraints

Pavel Emeliyanenko, Alexander Kobel, Eric Berberich and Michael Sagraloff. Arrangement Computation for Planar Algebraic Curves

Bingyu Li and Xiaoli Wu. A subresultant based subspace method for the computation of polynomial GCDs (extended abstract)

Nan Li. An Improved Method for Evaluating Max Noether Conditions: Case of Breadth One

Min Wu and Zhengfeng Yang. Generating Invariants of Hybrid Systems via SumsOfSquares of Polynomials with Rational Coefficients

Victor Y. Pan. Acceleration of Newton's Polynomial Factorization: Army of Constraints, Convolution, Sylvester Matrices, and Partial Fraction Decomposition

Andre Galligo. Roots of the Derivatives of some Random Polynomials

Erich Kaltofen, WenShin Lee and Zhengfeng Yang. Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation

Ioannis Emiris, Tatjana Kalinka and Christos Konaxis. Implicitization of curves and surfaces using predicted support

Piers Lawrence and Robert Corless. Numerical Stability of Barycentric Hermite rootfinding

Thien Nguyen, Bernard Mourrain and Andre Galligo. A Construction of Injective Parameterizations of Domains for Isogeometric Applications

Eugene Zima. Synthetic division in the context of indefinite summation

Robert M. Corless, Erik Postma and David R. Stoutemyer. GCD of multivariate approximate polynomials using beautification with the subtractive algorithm

Chee Yap, Irina Voiculescu and Narayan Kamath. Empirical Study of an EvaluationBased Subdivision Algorithm for Complex Root Isolation

Hong Diep Nguyen and Nathalie Revol. Refining and Verifying the Solution of a Linear System

Hidenao Iwane, Hitoshi Yanami and Hirokazu Anai. An Effective Implementation of SymbolicNumeric Cylindrical Algebraic Decomposition for Optimization Problems

Masaru Sanuki. Challenge to Fast Approximate Polynomial GCD Computation Stably, Based on Displacement Structures

A. Bass Bagayogo (poster). A New Symbolic Programming Approach for a Hybrid Mesh Generation