Login / Signup
A Proof of a Conjecture About a Class of Near Maximum Distance Separable Codes.
Wei Lu
Xia Wu
Published in:
CoRR (2023)
Keyphrases
</>
maximum distance
data structure
graphical models
theorem prover
reduction method