TY - RPRT TI - An algorithmic construction of Nullstellensatz certificates for graph automorphism groups AU - Ivan Drecun PY - 2026 UR - https://arxiv.org/abs/2610.28928 ID - 2610.28928 ER -