A short proof that all linear codes are weakly algebraic-geometric using Bertini theorems of B. Poonen.

Srimathy Srinivasan

Published in: Discret. Math. (2020)

Keyphrases

geometry theorem proving
data sets
proof search
search engine
computer vision
theorem prover
theorem proving
linear systems
sequent calculus
multiscale
geometric constraints
geometric structure
error detection
algebraic curves