Formal Derivation of LU Factorization with Pivoting.

Robert A. van de Geijn Maggie E. Myers

Published in: CoRR (2023)

Keyphrases

artificial intelligence
singular value decomposition
real time
matrix factorization
data sets
bayesian networks
formal model
formal methods
formal analysis
operational semantics
kronecker product