Real Solution Isolation with Multiplicity of Zero-Dimensional Triangular Systems

Reconstruction of eye movements during blinks

Reduction of Algebraic Parametric Systems by Rectification of their Affine Expanded Lie Symmetries

Rewriting and Symbolic Transformations for Multiscale Methods

Rewriting Calculus: Foundations and Applications

Root Isolation of Zero-dimensional Polynomial Systems with Linear Univariate Representation

Root Refinement for Real Polynomials

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