SAT Techniques for Lexicographic Path Orders

Satisfying KBO Constraints

Series Crimes

Series misdemeanors

Simplex Subdivisions and Nonnegativity Decision of Forms

Simplifying products of fractional powers of powers

Simultaneous Integer Relation Detection and Its an Application

Simultaneous Modular Reduction and Kronecker Substitution for Small Finite Fields

Size reduction and partial decoupling of systems of equations

Solving Detachability Problem for the Polynomial Ring by Signature-based Groebner Basis Algorithms

Solving large linear algebraic systems in the context of integrable non-abelian Laurent ODEs

Solving Sparse Integer Linear Systems

Some Open Problems in Combinatorial Physics

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