Formally Verifying Proofs for Algebraic Identities of Matrices.
Leonard SchmitzViktor LevandovskyyPublished in: CICM (2020)
Keyphrases
- linear algebra
- formal proofs
- equational theories
- model checking
- theorem prover
- theorem proving
- higher order
- singular value decomposition
- neural network
- pairwise comparison
- decision procedures
- algebraic geometry
- computer algebra
- algebraic structure
- sparse matrix
- linear complementarity problem
- maximum likelihood
- case study