CITATION — REFERENCE ENTRY

spiral-gap-correctness · zhang2025fft

Revision 98bc5fa5-cf04-4d49-9bf3-014f2fbdf508 · 3/30/2026, 9:12:58 AM UTC

Citation: zhang2025fft
Claim ID: spiral-gap-correctness
Assertion: SPIRAL's formal framework, built on the GAP computer algebra system, enables localized correctness checks during rule application between abstraction layers, verifying that each rewrite step preserves semantic equivalence.
Quote: SPIRAL is built on top of the GAP computer algebra system, enabling localized correctness checks during rule application between abstraction layers.
Quote language: en
Locator: section: Section 2: Background

Available in