## ISSAC06 List of Accepted Software Demos

- Rafal Ablamowicz and Bertfried Fauser

** CLIFFORD with Bigebra´ - A Maple Package for Computations with
Clifford Algebras **
- John Abbott and The CoCoA Team

** CoCoA: Computations in Commutative Algebra **

## ISSAC06 List of Accepted Posters

- Marc Moreno Maza and Yuzhen Xie

** Parallelization of Triangular Decompositions **
- Mei Jianqin

** Dimension vector and the size of the formal solution space of system of PDEs **
- Alin Bostan, Claude-Pierre Jeannerod and Eric Schost

** Solving structured linear systems of large displacement rank **
- Werner Krandick, Shawn S. Pierce, and Zhendong Wan

** Towards collaboration across display diversity**
- Alexander Shermenev.

** NONLINEAR DIFFUSION EQUATION IN CYLINDER COORDINATES **
- Peter Ullrich

** Closed-Form Formulas for Projecting Constructible Sets in the Theory of Algebraically Closed Fields **
- Ekaterina Shemyakova and Franz Winkler

** Approximate Factorization of Linear Partial Differential Operators. Full System of Invariants for Order Three. **
- Xavier Dahan, Marc Moreno Maza, Eric Schost and Xin Jin

** Change of ordering for regular chains in positive dimension **
- John Abbott

** Quadratic Interval Refinement for Real Roots **
- Oleg Golubitsky

** Construction of rankings on partial derivatives **
- Wenqin Zhou, Jacques Carette, David Jeffrey and Michael
Monagan

** Hierarchical representations with signatures for large expression management **
- Oleg Golubitsky, Marina Kondratieva, Marc Moreno Maza and
Alexey Ovchinnikov

** Bounds and algebraic algorithms for ordinary differential characteristic sets **
- Markus A. Hitz

** Small, Browser-Based Computer Algebra Systems **
- Lev M. Berkovich

** Factorization of Self-Conjugated and Reducible Linear Differential Operators **
- Takeshi Osoekawa and Tateaki Sasaki

** Hensel Fan **
- Daiju Inaba, Takeshi Osoekawa and Tateaki Sasaki

** Visualization of Extended Hensel Factors **
- Claudia Fassino

** A robust monomial quotient basis for approximate points **
- Stephen Watt

** Algorithms for Symbolic Polynomials **