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