Three proofs of an observation on irreducible polynomials over GF(2).

Published in: Finite Fields Their Appl. (2023)

Keyphrases

theorem prover
image processing
probabilistic model

formal proofs
hermite transform
knowledge base

three dimensional
special case

low order
equational theories