Art
J-GLOBAL ID：202002275840629280   Reference number：20A1634593

A Library for Formalization of Linear Error-Correcting Codes

線形誤り訂正符号の形式化のためのライブラリ【JST・京大機械翻訳】
Author (3)：
Affeldt Reynald

About Affeldt Reynald

(Cyber Physical Security Research Center, National Institute of Advanced Industrial Science and Technology (AIST), Tsukuba, Japan)

About Cyber Physical Security Research Center, National Institute of Advanced Industrial Science and Technology (AIST), Tsukuba, Japan

, 
Garrigue Jacques

About Garrigue Jacques

(Graduate School of Mathematics, Nagoya University, Nagoya, Japan)

About Graduate School of Mathematics, Nagoya University, Nagoya, Japan

, 
Saikawa Takafumi

About Saikawa Takafumi

(Graduate School of Mathematics, Nagoya University, Nagoya, Japan)

About Graduate School of Mathematics, Nagoya University, Nagoya, Japan


Material：
Journal of Automated Reasoning

About 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/Point
Japanese summary of the article(about several hundred characters).
All summary is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
Abstract: Error-correcting cod...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   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：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
algorithm

About algorithm

, 
noise(signal)

About noise(signal)

, 
redundancy(property)

About redundancy(property)

, 
digital communication

About digital communication

, 
decoder

About decoder

, 
coding theory

About coding theory

, 
linearity

About linearity

, 
reuse

About reuse

, 
channel

About channel

, 
formulation

About formulation

, 
*error correcting code

About error correcting code


Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
LDPC符号

About LDPC符号

, 【Automatic Indexing@JST】
Author keywords (3)：
Coq

About Coq

, 
Mathematical components

About Mathematical components

, 
Error-correcting codes

About Error-correcting codes

JST classification (1)：
JST classification
Category name(code) classified by JST.
Code theory 
(ND02030R)

About Code theory

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
線形

About 線形

, 
誤り訂正符号

About 誤り訂正符号

, 
形式化

About 形式化

, 
ライブラリ

About ライブラリ


Return to Previous Page

TOP

BOTTOM