Login / Signup

Introduction: Applicable algebra, error-correcting codes, combinatorics and computer algebra.

Thomas Beth
Published in: AAECC (1986)
Keyphrases
  • computer algebra
  • error correcting codes
  • error correction
  • theorem prover
  • error correcting
  • minimum distance
  • decoding algorithm
  • computer algebra systems
  • automated theorem provers
  • decision trees
  • computer simulation