An algorithmic construction of Nullstellensatz certificates for graph automorphism groups
cs.SC, cs.LO
Submitted: 2026-10-20
Updated: 2026-10-20
Related papers
- Automatic Certified Differentiation in Lean
- GPU-Accelerated Search for Fast Matrix Multiplication over F 2
- One Loss Resolves Signed Rank-One Gradient Fibers: Exact Decoding on Cycle and Theta Blocks
- Deterministic Root-Finding over Finite Fields with Elliptic Curves
- The Indefinite Summation Problem for the Laurent Ring
- Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking