Login / Signup
A note on a gap in the proof of the minimum distance for Projective Reed-Muller Codes.
Anders Bjært Sørensen
Published in:
CoRR (2023)
Keyphrases
</>
error correction
theorem proving
planar curves
theorem prover
neural network
linear logic
automated theorem proving
reconstruction from multiple views
machine learning
data sets
learning algorithm
computer vision
image compression
error correcting codes
parity check
geometry theorem proving