Contributed Talks

Schur Partition for Symmetric Ternary Forms and Readable Proof to Inequalities: Fangjian Huang, Shengli Chen; ĄĄ
Half-GCD and fast rational recovery: Daniel Lichtblau; ĄĄ
Application of Wu's Method to Symbolic Model Checking: Weibo Mao, Jinzhao Wu; ĄĄ
Generalized Loewy-Decomposition of D-Modules: Dima Grigoriev, Fritz Schwarz; ĄĄ
Symmetric and semisymmetric graphs construction using G-graphs: Alain Bretto, Luc Gillibert, Bernard Laget; ĄĄ
Generalized Laplace transformations and integration of hyperbolic systems of linear partial differential equations: Sergey P. Tsarev; ĄĄ
Exact analytical solutions to the nonlinear Schr\"{o}dinger equation model: Biao Li, Yong Chen, Qi Wang; ĄĄ
Computing the $\mu$-Bases of Rational Curves and Surfaces Using the Polynomial Matrix Factorization: Jiansong Deng, Falai Chen, Liyong Shen; ĄĄ
Preconditioners for Singular Black Box Matrices: William J. Turner; ĄĄ
Finding Telescopers with Minimal Depth for Indefinite Nested Sum and Product Expressions: Carsten Schneider; ĄĄ
Picard-Vessiot extensions for linear functional systems: Manuel Bronstein, Ziming Li, Min Wu; ĄĄ
Partial Degree Formulae for Rational Algebraic Surfaces: J. Rafael Sendra, Sonia Perez-Diaz; ĄĄ
Algebraic General Solutions of Algebraic Ordinary Differential Equations: J.M. Aroca, J. Cano, R. Feng, X.S. Gao; ĄĄ
An Open Problem on Metric Invariants of Tetrahedra: Lu Yang, Zhenbing Zeng; ĄĄ
Multivariate Power Series Multiplication: Eric Schost; ĄĄ
A Procedure for Proving Special Function Inequalities Involving a Discrete Parameter: Stefan Gerhold, Manuel Kauers; ĄĄ
Stability Analysis of Biological Systems with Real Solution Classification: Dongming Wang, Bican Xia; ĄĄ
Structure and asymptotic expansion of multiple harmonic sums: Costermans, Enjalbert, Hoang Ngoc Minh, Petitot; ĄĄ
A BLAS based C library for exact linear algebra on integer matrices: Zhuliang Chen, Arne Storjohann; ĄĄ
Non complete integrability of a magnetic satellite in circular orbit.: Delphine Boucher; ĄĄ
Computing the rank and a small nullspace basis of a polynomial matrix: Arne Storjohann, Gilles Villard; ĄĄ
Hybrid symbolic-numeric integration in multiple dimensions via tensor-product series: Orlando A. Carvajal, Frederick W. Chapman, Keith O. Geddes; ĄĄ
On the complexity of factoring bivariate supersparse (lacunary) polynomials: Erich Kaltofen, Pascal Koiran; ĄĄ
Domains vs Expressions: An efficient high-level interface between Aldor and Maple: Cosmin E. Oancea, Stephen M. Watt; ĄĄ
Generalized normal forms and polynomial system solving: Bernard Mourrain, Philippe Trebuchet; ĄĄ
Selfintersections of a Bezier bicubic surface: Andre Galligo, Jean Pascal Pavone; ĄĄ
Sum of roots with positive real parts: Hirokazu Anai, Shinji Hara, Kazuhiro Yokoyama; ĄĄ
Approximation of Dynamical Systems using S-Systems Theory: Application to Biological Systems.: Laurent Tournier; ĄĄ
Efficient Computation of the Characteristic Polynomial: Jean-Guillaume Dumas, Clément Pernet, Zhendong Wan; ĄĄ
On computing nearest singular Hankel matrices: Markus A. Hitz; ĄĄ
Affine Transformations of Algebraic Numbers: D.J. Jeffrey, Pratibha, K.B. Roach; ĄĄ
Fast Algorithms for Polynomial Solutions of Linear Differential Equations: Alin Bostan, Thomas Cluzeau, Bruno Salvy; ĄĄ
Deterministic equation solving over finite fields: Christiaan van de Woestijne; ĄĄ
On Using Bi-equational Constraints in CAD Construction: Christopher W. Brown, Scott McCallum; ĄĄ
Signature of Symmetric Rational Matrices and the Unitary Dual of Lie Groups: Jeffrey Adams, B. David Saunders, Zhendong Wan; ĄĄ
Algorithms for Hybrid Optimal Control. Part I: Symbolic/Numeric Control of Affine Dynamical Systems: Aude Rondepierre, Jean-Guillaume Dumas; ĄĄ
A Reliable Block Lanczos Algorithm over Small Finite Fields: Bradford Hovinen, Wayne Eberly; ĄĄ
Gosper's Algorithm and Accurate Summation as Definite Summation Tools: Sergei A. Abramov, Marko Petkovsek; ĄĄ
Solving Second Order Linear Differential Equations with Klein's Theorem: M. van Hoeij, J.-A. Weil; ĄĄ
Symbolic-Numeric Completion of Differential Systems by Homotopy Continuation: Greg Reid, Jan Verschelde, Allan Wittkopf, Wenyuan Wu; ĄĄ
Admissible Orderings and Finiteness Criteria for Differential Standard Bases: Aleksey Zobnin; ĄĄ
Algorithms for the Non-monic case of the Sparse Modular GCD Algorithm: Jennifer de Kleine, Michael Monagan, Allan Wittkopf; ĄĄ
Computing the Multiplicity Structure in Solving Polynomial Systems: Barry H. Dayton, Zhonggang Zeng; ĄĄ
Generic Matrix Multiplication and Memory Management in LinBox: Erich Kaltofen, Dmitriy Morozov, George Yuhasz; ĄĄ
Probabilistic Algorithms for Computing Resultants: Michael Monagan; ĄĄ
Lifting techniques for triangular decompositions: Xavier Dahan, Marc Moreno Maza, Eric Schost, Wenyuan Wu, Yuzhen Xie; ĄĄ
Architecture-aware classical Taylor shift by 1: Jeremy R. Johnson, Werner Krandick, Anatole D. Ruslanov; ĄĄ
Adherence is better than Adjacency: Computing the Riemann Index using CAD.: J. Beaumont, Russell Bradford, J.H. Davenport, Nalina Phisanbut; ĄĄ