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