A Constructive Elementary Proof of the Skolem-Noether Theorem for Matrix Algebras.
Jenö SzigetiLeon van WykPublished in: Am. Math. Mon. (2017)
Keyphrases
- constraint networks
- temporal reasoning
- interval algebra
- interactive theorem proving
- first order logic
- spatial reasoning
- theorem proving
- real time
- temporal information
- theorem prover
- low rank
- semi supervised
- set theory
- matrix representation
- linear algebra
- information retrieval
- topological spaces
- clifford algebra
- neural network