N-dimensional binary vector spaces

DOI10.2478/FORMA-2013-0008zbMATH Open1298.15005OpenAlexW2170773937MaRDI QIDQ467773FDOQ467773

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

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

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

• Higher Order Derivatives and Differential Cryptanalysis
• Title not available (Why is that?)
• Formalization of the data encryption standard
• Analysis of algorithms: an example of a sort algorithm

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)