Tag

termination proof

1 resource tagged “termination proof” across the knowledge library.

1 item

Article7 Aug 2026LLL Reduction Quality and Proof SketchWhy LLL terminates in polynomial time and what its output guarantees, via the potential function and the Lovasz condition.2 min readRead More