Proof of a conjecture on a special class of matrices over commutative rings of characteristic 2.

Published in: IACR Cryptol. ePrint Arch. (2021)

Keyphrases

theorem prover
special case
singular value decomposition
linear algebra
mathematical proofs
pairwise comparison
covariance matrices
theorem proving
face recognition
genetic algorithm
similarity measure
information retrieval
databases
linear complementarity problem
projection matrix
linear logic
real time