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

Published in: CoRR (2021)

Keyphrases

linear logic
theorem prover
special case
neural network
high dimensional
singular value decomposition
positive definite
data sets
case study
inference rules
theorem proving
pairwise comparison
coefficient matrix
mathematical proofs