A new proof of the BCH bound (Corresp.).

Robert T. Chien

Published in: IEEE Trans. Inf. Theory (1972)

Keyphrases

lower bound
upper bound
worst case
theorem proving
theorem prover
error bounds
proof planning
database
databases
neural network
genetic algorithm
information systems
mathematical proofs
geometry theorem proving