Formal matrix rings: Automorphisms.

Piotr Krylov Askar Tuganbaev

Published in: Int. J. Algebra Comput. (2023)

Keyphrases

singular value decomposition
formal methods
artificial neural networks
low rank
formal specification
formal language
matrix representation
real world
knowledge representation
covariance matrix
formal model
formal analysis
lie group