The Indefinite Summation Problem for the Laurent Ring
cs.SC, math.OC
Submitted: 2026-09-01
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
- An algorithmic construction of Nullstellensatz certificates for graph automorphism groups
- Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking