A geometric non-existence proof of an extremal additive code.

Jürgen Bierbrauer Stefano Marcugini Fernanda Pambianco

Published in: J. Comb. Theory, Ser. A (2010)

Keyphrases

geometry theorem proving
theorem proving
graph theory
source code
high order
linear logic
data sets
geometric constraints
geometric structure
geometric information
real time
maximally stable
mathematical proofs
geometric reasoning
proof theory
database
theorem prover
information systems
neural network