2 papers
math.AG2025
Symbolic Computation with Symmetric Polynomials in Real Algebraic Geometry
Cordian Riener, Thi Xuan Vu
Symmetry plays a central role in accelerating symbolic computation involving polynomials. This chapter surveys recent developments and foundational methods that leverage the inhere…
cs.SC2025
Deciding Connectivity in Symmetric Semi-Algebraic Sets
Cordian. Riener, Robin Schabert, Thi Xuan Vu
A semi-algebraic set is a subset of defined by a finite collection of polynomial equations and inequalities. In this paper, we investigate the problem of determining…