Art

J-GLOBAL ID：202002275840629280   Reference number：20A1634593

A Library for Formalization of Linear Error-Correcting Codes

線形誤り訂正符号の形式化のためのライブラリ【JST・京大機械翻訳】

Author (3)： Affeldt Reynald (Cyber Physical Security Research Center, National Institute of Advanced Industrial Science and Technology (AIST), Tsukuba, Japan) ,  Garrigue Jacques (Graduate School of Mathematics, Nagoya University, Nagoya, Japan) ,  Saikawa Takafumi (Graduate School of Mathematics, Nagoya University, Nagoya, Japan)
Material： Journal of Automated Reasoning
Volume： 64  Issue： 6  Page： 1123-1164  Publication year： 2020 
JST Material Number： D0269E  ISSN： 0168-7433  CODEN： JAREEW  Document type： Article
Article type： 原著論文  Country of issue： Germany, Federal Republic of (DEU)  Language： ENGLISH (EN)

Abstract/Point： Abstract: Error-correcting cod...

Register(free) or Log In to access     To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A1634593&from=J-GLOBAL&jstjournalNo=D0269E") }}

Thesaurus term： algorithm ,  noise (signal) ,  redundancy (property) ,  digital communication ,  decoder ,  coding theory ,  linearity ,  reuse ,  channel ,  formulation ,  *error correcting code ,  low density parity check code
Semi thesaurus term： LDPC符号 , 【Automatic Indexing@JST】

Author keywords (3)： Coq ,  Mathematical components ,  Error-correcting codes

JST classification (1)： Code theory  (ND02030R)

Terms in the title (4)： 線形 ,  誤り訂正符号 ,  形式化 ,  ライブラリ