Login / Signup
A Simpler proof of Jensen's Coding Theorem.
Sy D. Friedman
Published in:
Ann. Pure Appl. Log. (1994)
Keyphrases
</>
interactive theorem proving
coding scheme
coding method
theorem proving
linear prediction
linear logic
data sets
similarity measure
graphical models
theorem prover
error control
digital topology