Some Results on the Functional Decomposition of Polynomials

Sparse Differential Resultant for Laurent Differential Polynomials

Stability Analysis of Linear Uncertain Systems via Checking Positivity of Forms on Simplices

Stability of Triangular Decomposition and Comprehensive Triangular Decomposition

Stable normal forms for polynomial system solving

Strong bi-homogeneous Bézout theorem and its use in effective real algebraic geometry

Structure of lexicographic Groebner bases in three variables of ideals of dimension zero

Subtotal ordering -- a pedagogically advantageous algorithm for computing total degree reverse lexicographic order

Successive Difference Substitution Based on Column Stochastic Matrix and Mechanical Decision for Positive Semi-definite Forms

Supernodal Analysis Revisited

Symbolic Computation of Recursion Operators for Nonlinear Differential-Difference equations

Symbolic computation of weighted Moore-Penrose inverse using partitioning method

Symbolic Domain Decomposition

Symbolic Script Programming for Java

Symbolic-manipulation constructions of Hilbert-space metrics in quantum mechanics

Symmetric Subresultants and Applications

Symmetric tensor decomposition

Telescopers for Rational and Algebraic Functions via Residues

Tensor manipulation in GPL Maxima

TeXmacs interfaces to Maxima, MuPAD and REDUCE