Login / Signup

Proof of Rueppel's linear complexity conjecture.

Zong-Duo Dai
Published in: IEEE Trans. Inf. Theory (1986)
Keyphrases
  • linear complexity
  • theorem prover
  • linear computational complexity
  • mathematical proofs
  • data sets
  • formal proof
  • database
  • computer vision
  • three dimensional
  • reinforcement learning
  • search algorithm