SymRAG

Symmetry in Quantitative and Algorithmic Real Algebraic Geometry