Proof of Convergence for Correct-Decoding Exponent Computation.

Sergey Tridenski Anelia Somekh-Baruch Ram Zamir

Published in: ISIT (2020)

Keyphrases

convergence rate
efficient computation
information systems
parallel computation
faster convergence
real time
case study
optimal solution
theorem prover
initial conditions
iterative algorithms
natural deduction
iterative reconstruction