N-dimensional binary vector spaces

DOI10.2478/FORMA-2013-0008MaRDI QIDQ467773zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• Vector spaces and binary quantifiers
• Finite Dimensional Vector Spaces. (AM-7)
• scientific article; zbMATH DE number 1810178
• n-Inner Product Spaces
• An inequality in binary vector spaces
• \(Q\)-binary spaces
• Frame theory for binary vector spaces
• scientific article; zbMATH DE number 847205

Cites work

• scientific article; zbMATH DE number 4197282 (Why is no real title available?)
• Analysis of algorithms: an example of a sort algorithm
• Formalization of the data encryption standard
• Higher Order Derivatives and Differential Cryptanalysis

Cited in

(1)

• On a Class of Binary Sequences

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q467773)