TY - RPRT TI - Ideal Membership in Polynomial Calculus: Complexity and Reductions AU - Alex Bortolotti AU - Monaldo Mastrolilli PY - 2026 UR - https://arxiv.org/abs/2609.28243 ID - 2609.28243 ER -