Abstract:
In this paper, we formalize the channel capacity of the binary symmetric erasure channel (BSEC) by using a proof-assistant system called Coq/SSReflect. This study is for ...Show MoreMetadata
Abstract:
In this paper, we formalize the channel capacity of the binary symmetric erasure channel (BSEC) by using a proof-assistant system called Coq/SSReflect. This study is for the formalization of the fact that the binary symmetric channel (BSC) and binary erasure channel (BEC), which were previously formalized, are specializations of the BSEC.
Date of Conference: 30 October 2016 - 02 November 2016
Date Added to IEEE Xplore: 06 February 2017
ISBN Information:
Conference Location: Monterey, CA, USA
Contents 