\(N\)-dimensional binary vector spaces

DOI10.2478/forma-2013-0008zbMath1298.15005OpenAlexW2170773937MaRDI QIDQ467773

Kenichi Arai, Hiroyuki Okazaki

Publication date: 5 November 2014

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/forma-2013-0008

zbMATH Keywords

binary vector space

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Vector spaces, linear dependence, rank, lineability (15A03)

Cites Work

• Formalization of the Data Encryption Standard
• Analysis of Algorithms: An Example of a Sort Algorithm
• Higher Order Derivatives and Differential Cryptanalysis
• Unnamed Item

This page was built for publication: \(N\)-dimensional binary vector spaces