scientific article; zbMATH DE number 1796154

zbMath0991.68548MaRDI QIDQ4551178

Toshiyuki Yamane, Yasunao Katayama, Sumio Morioka

Publication date: 4 September 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020465

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Algebraic coding theory; cryptography (number-theoretic aspects) (11T71) Number-theoretic algorithms; complexity (11Y16) Specification and verification (program logics, model checking, etc.) (68Q60) Decoding (94B35)

Related Items (1)

Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry

This page was built for publication: