Proof of Conjectures on the True Dimension of Some Binary Goppa Codes.
Pascal VéronPublished in: Des. Codes Cryptogr. (2005)
Keyphrases
- theorem prover
- error correcting
- logical operations
- geometry theorem proving
- automated theorem proving
- theorem proving
- mathematical proofs
- binary codes
- binary tree
- genetic algorithm
- case study
- temporal dimension
- multi valued
- gray code
- error control
- multiple dimensions
- database
- non binary
- error correction
- website
- information systems
- data sets
- real time