[logo5][logo1][unilogo]



 
 
    INVITED SPEAKERS 

 


      James Demmel, University of California at Berkeley.

      Victor Shoup, IBM Research-Zurich.

      Stephen M. Watt, University of Western Ontario.
 


 
 
   ACCEPTED PAPERS

 
 
Computation of the Degree of a Rational Map, J.R. Sendra and F. Winkler,

Discrete Comprehensive Gröbner Bases, Y. Sato and A. Susuki,

The membership problem for ideals of binomial skew polynomial rings, J. Liu, M. Wang and Z. Liu,

Modeling inheritance as coercion in a Symbolic Computation system, C. Domínguez and J. Rubio,

On Propagation of Equational Constraints in CAD-Based Quantifier Elimination, S. McCallum,

On Solutions of Linear Functional Systems, S. Abramov and M. Bronstein,

A generalized Graeffe's iteration for evaluating polynomials and rational functions, L. Gemignani,

Strongly-Local Reductions and the Complexity/Efficient Approximability of Algebra and Optimization on Abstract Algebraic Structures,  H. Hunt III, M. V. Marathe and R.E. Stearns,

Remarks on Gröbner bases for Ideals under Composition, M. Wang and Z. Liu,

Irreducible trinomials over finite fields, TBA,

Residual resultant over the projective plane and the implicitization problem , L. Busé,

Families of Estimable Terms, M. Caboara and L. Robbiano,

On Parallel Lehmer-Euclid GCD Algorithm, S.M. Sedjelmaci,

Polynomial root finding using iterated eigenvalue computation, S. Fortune,

Computation of minimal generators of ideals of fat points, F. Cioffi and F. Orecchia,

Solvability by radicals from an algorithmic point of view, G. Hanrot and F. Morain,

Fast computation of linear generators for matrix sequences and application to the block Wiedemann algorithm, E. Thomé,

Pardi ! F. Boulier, F. Lemaire and M. Moreno Maza

Scalable Parallel Coset Enumeration Using Bulk Definition, G. Cooperman and V. Grinberg,

Hybrid computation, J. Della Dora, A. Maignan, M. Mirica-Ruse and S. Yovine.

A multivariate Weierstrass itrative rootfinder, O. Ruatta,

Nearly Optimal Polynomial Rootfinding, V. Y. Pan,

Diagnosing and Correcting Student Misconceptions in an Educational Computer Algebra System, N. Jurkovic,

Hybrid Sparse Resultant Matrices for Bivariate Systems, C. D'Andrea and I. Z. Emiris,

Generic Ideals and Moreno-Socias Conjecture, E. Aguirre, A.S. Jarrah, R. Laubenbacher, R.A. Ortiz-Navarro and R. Torrez,

Algorithms for Trigonometric Polynomials, J. Mulholland and M. Monagan,

On liouvillian solutions of linear differential equations of order 4 and 5, O. Cormier,

On the Barnes function, V. Adamchik,

Computing All Factorizations in ZN[x], H Cheng and G. Labahn,

Unirational Fields of Transcendence Degree One and Functional Decomposition, J. Guiterrez, R. Rubio and D. Sevilla,

A linear space algorithm for computing the Hermite Normal Form, D. Micciancio  and B. Warinschi,

Maple's Evaluation Process as Constraint Contextual Rewriting, A. Armando and C.Ballarin,

On computer-assisted classification of coupled integrable equations, M.V. Foursov and M. Moreno Maza,

Hybrid System for Multi-language and Multi-environment Generation, J. Korelc,

IAMC Architecture and Prototyping: A Status Report, P. Wang, S. Gray, N. Kajler, D. Lin, W. Liao and X. Zou,

A probabilistic algorithm to test local algebraic observability in polynomial time, A. Sedoglavic,

Dimensional analysis in Computer Algebra, R. Khanin,

New complexity bounds for cylindrical decompositions of sub-Pfaffian sets, S. Pericleous and N. Vorobjov,

Towards approximations which preserve integrals, E.L. Mansfield and P.E. Hydon,

Symbolic-interval cooperation in constraint programming (survey), L. Granvilliers, E. Monfroy and F. Benhamou,

On computational properties of chains of recurrences, E. Zima,

Semi-Numerical Determination of Irreducible Branches of a Reduced Space Curve, A. Galligo and D. Rupprecht,

Computation of the radical of polynomial ideals over fields of arbitrary characteristic, E. Fortuna, P. Gianni and B. Trager,

Black box methods for lease squares problems, B.D. Saunders,

Towards Factoring Bivariate Approximate Polynomials, R.M. Corless, M.W. Giesbrecht, M. van Hoeij, I.S. Kotsireas and S.M. Watt,

Approximate Multivariate Polynomial Factorization Based on Zero-Sum Relations,  T. Sasaki,

Optimal Decomposition of Indefinite Hypergeometric Sums, S. Abramov and M. Petkovsek.