Boolean kernel polynomial basis and its low-degree filtration — paper, Lean formalization, and Rust implementation
-
Updated
Aug 27, 2026 - Rust
#
polynomial-basis
Here is 1 public repository matching this topic...
Add this topic to your repo
To associate your repository with the polynomial-basis topic, visit your repo's landing page and select "manage topics."