Login / Signup
A Simpler Proof of Cohen's Factorization Theorem.
Raymond Mortini
Published in:
Am. Math. Mon. (2019)
Keyphrases
</>
interactive theorem proving
matrix factorization
theorem prover
multibody
information systems
kronecker product
database
decision trees
search algorithm
pairwise
theorem proving
linear logic
proof search
logical rules
geometry theorem proving